• Alexandre Duret-Lutz's avatar
    more coverage · 527c8025
    Alexandre Duret-Lutz authored
    * python/spot/impl.i: Add missing bindings from remprop.hh
    * tests/python/except.py: New file to test several error cases.
    * tests/Makefile.am: Add it.
    * spot/twaalgos/rabin2parity.cc (iar): Fix error message.
    527c8025
Makefile.am 11.8 KB