enabling profiling from inside lean

Stream: new members

[Jason Gross]

Is there any way to set an option which has the same effect as if I had run lean with --profile?

[Alex J. Best]

set_option profiler true  turns on some form of profiling, not sure how it compares to --profile off the top of my head