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

"Z. Majeed" <[email protected]> Sat, 23 Jan 2021 09:59:26 +0000 (UTC)

Newsgroups	gmane.comp.parsers.bison.bugs
Message-ID	<[email protected]>

I've followed up on github - https://github.com/akimd/bison/issues/71
It's caused by counterexamples accessing a previously freed bitset from a disabled state_item object - I've yet to read up enough on counterexamples to propose a fix

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.