-
* 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
* 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