Skip to content
  • Alexandre Duret-Lutz's avatar
    postproc: Add a degen-lskip option. · db02e7c3
    Alexandre Duret-Lutz authored
    Also generalize the degen-lcache option.
    
    * src/tgbaalgos/postproc.cc, src/tgbaalgos/postproc.hh: Add the option.
    * src/bin/spot-x.cc: Document it.
    * src/tgbaalgos/degen.cc, src/tgbaalgos/degen.hh: Implement it.
    * src/tgbatest/ltlcross2.test: Add a test configuration.
    * src/tgbatest/degenlskip.test: New file.
    * src/tgbatest/Makefile.am (TESTS): Add degenlskip.test.
    db02e7c3