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

[Z. Majeed]

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