Stream: Coq users

Topic: Debugging Eval stack overflow

view this post on Zulip Jan Tusil (Aug 15 2021 at 19:55):

Hi, I have a term that, when evaluated, causes a stack overflow. How can I debug it? I would like to know, for example, which operation is the most frequent on the stack.

view this post on Zulip Pierre-Marie Pédrot (Aug 15 2021 at 19:55):

What reduction machine are you using?

view this post on Zulip Jan Tusil (Aug 15 2021 at 19:56):

compute, native_compute - but I am open to using any

view this post on Zulip Jan Tusil (Aug 15 2021 at 19:57):

I tried the NativeCompute Profiling, without much success.

view this post on Zulip Jan Tusil (Aug 15 2021 at 19:58):

or vm_compute. It overflows on all of these, but with native_compute it takes about 10 seconds to overflow

Last updated: Oct 01 2023 at 18:01 UTC