-
Alexandre Duret-Lutz authored
So far all neverclaims encountered would use (!(x)), but the files from the Büchi store do not. * src/neverparse/neverclaimscan.ll: Accept ! in front of guard, so that we can read Promela files from Goal's Büchi store. * src/tgbatest/neverclaimread.test: Test it.
91e51c4c
To find the state of this project's repository at the time of any of these versions, check out the tags.