• Alexandre Duret-Lutz's avatar
    twa_graph: more test coverage · 2e763a08
    Alexandre Duret-Lutz authored
    The goal is to improve coverage stats, but I discovered two issues
    while doing so.
    
    * tests/python/twagraph.py: New test case.
    * tests/Makefile.am: Add it.
    * spot/twa/twagraph.hh: Add fix typos in error messages.
    * python/spot/impl.i: Fix broken wrappers for state_from_number and
    state_acc_sets.
    2e763a08
impl.i 24.1 KB