Skip to content
  • Alexandre Duret-Lutz's avatar
    dot: add a <N option · b11c07b3
    Alexandre Duret-Lutz authored
    * spot/twaalgos/dot.cc: Implement it.
    * spot/taalgos/dot.cc: Ignore it.
    * spot/twaalgos/copy.cc, spot/twaalgos/copy.hh: Add option
    to limit the number of states.
    * tests/python/ltsmin.ipynb: Improve test case.
    * tests/Makefile.am: Cleanup the files generated by ltsmin.ipynb.
    * python/spot/__init__.py (setup): Add a max_states argument
    that default to 50.
    * bin/common_aoutput.cc: Mention the <INT option.
    * NEWS: Likewise.
    b11c07b3