• Alexandre Duret-Lutz's avatar
    acc: fix is_dnf() · b71e6add
    Alexandre Duret-Lutz authored
    A Fin() terms with multiple sets should not appear under an And.
    
    * src/tgba/acc.cc (is_dnf): Fix it.
    * src/tgbatest/acc.cc, src/tgbatest/acc.test: Augment test case.
    b71e6add
acc.test 1.69 KB