stacktrace no debug symbols

Stream: lean4

[Locria Cyber]

Reid Barton said:

For 1, you can set the environment variable LEAN_ABORT_ON_PANIC

Thanks! lldb shows stack trace properly with this