Skip to content
  • 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/ New test case.
    * tests/ Add it.
    * spot/twa/twagraph.hh: Add fix typos in error messages.
    * python/spot/impl.i: Fix broken wrappers for state_from_number and