Stream: Coq devs & plugin devs

Topic: nia failing with segfault on 8.16 async


view this post on Zulip Pierre-Marie Pédrot (May 19 2022 at 10:02):

Anybody knows why this error is happening: https://github.com/coq/coq/pull/16034/checks?check_run_id=6490846354 ?

view this post on Zulip Pierre-Marie Pédrot (May 19 2022 at 10:03):

I suspect this is some issue with the cache, but I don't know what to do to fix it.

view this post on Zulip Gaëtan Gilbert (May 19 2022 at 10:04):

nobody knows, we don't even know how to reproduce it

view this post on Zulip Pierre-Marie Pédrot (May 19 2022 at 10:04):

It's reproducible though, I reran the test and it happened again.

view this post on Zulip Pierre-Marie Pédrot (May 19 2022 at 10:04):

(on the CI, I mean)

view this post on Zulip Ali Caglayan (May 19 2022 at 10:07):

That doesn't look like a cache issue just a straight segfault

view this post on Zulip Ali Caglayan (May 19 2022 at 10:08):

csdp is a C backend for a micromega solver so who knows

view this post on Zulip Pierre-Marie Pédrot (May 19 2022 at 12:03):

cache as in the micromega cache, which uses OCaml marshalling

view this post on Zulip Ali Caglayan (May 19 2022 at 12:27):

Oh so you mean OCaml GC is picking up the csdp cache table?


Last updated: Feb 05 2023 at 21:03 UTC