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