Re: Bug (segmentation fault) in the generation of counterexamples

[Akim Demaille]

Michal,

Vincent Imbimbo, the author of cex in Bison, fixed your issue in 
https://lists.gnu.org/r/bison-patches/2021-01/msg00106.html.  Bison 3.7.5 
should be released soon with the fix.

Thanks again for the report!