• 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.
    91e51c4c
neverclaimread.test 2.63 KB