Skip to content
  • Antoine Martin's avatar
    mc: implement CNDFS · 6f3e5559
    Antoine Martin authored and Etienne Renault's avatar Etienne Renault committed
    * spot/mc/Makefile.am: add cndfs.hh
    * spot/mc/cndfs.hh, spot/mc/mc.hh: implementation here
    * tests/ltsmin/check.test: test CNDFS
    * tests/ltsmin/modelcheck.cc: add CNDFS option
    6f3e5559