Stream: Coq devs & plugin devs

Topic: native stack overflow


view this post on Zulip Jason Gross (Aug 05 2023 at 06:39):

Is there a good way to determine why the native compiler is sad in https://github.com/coq/coq/pull/17899/checks?check_run_id=15640216562 ? It works perfectly fine on my machine, so it's probably just not getting enough stack, but I'm not sure how to adjust the test suite file to fix this problem.

view this post on Zulip Jason Gross (Aug 05 2023 at 23:05):

Ergh, and it's not even native_compute, it's coqnative


Last updated: Jun 23 2024 at 01:02 UTC