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