• Alexandre Duret-Lutz's avatar
    python: fix error handling while reading automata · ab7ee2c4
    Alexandre Duret-Lutz authored
    * wrap/python/tests/run.in: Make it easier to run python with gdb.
    * wrap/python/tests/automata-io.ipynb: Add test case.
    * wrap/python/spot.py (spot.automata): Make sure p is defined in all
    cases.
    * src/hoaparse/hoascan.ll: Make sure we do not close a file that
    hasn't been opened.
    ab7ee2c4
run.in 2.01 KB