|
From: | Z. Majeed |
Subject: | RE: Bug (segmentation fault) in the generation of counterexamples |
Date: | Sat, 23 Jan 2021 09:59:26 +0000 (UTC) |
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
[Prev in Thread] | Current Thread | [Next in Thread] |