• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.