Fixes #330. * tests/ltsmin/README, tests/ltsmin/modelcheck.cc: here.
Attach a file by drag & drop or click to upload
Etienne Renault authored