• Alexandre Duret-Lutz's avatar
    Read guard of the form !(x) in neverclaims. · 91e51c4c
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 347 KB