• Alexandre Duret-Lutz's avatar
    twa_graph: more test coverage · cd4c326f
    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
impl.i 23.7 KB