## Stream: new members

### Topic: enabling profiling from inside lean

#### Jason Gross (Aug 10 2020 at 19:14):

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

#### Alex J. Best (Aug 10 2020 at 20:24):

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

Last updated: May 11 2021 at 13:22 UTC