tests/ltsmin/README · next · Spot / Spot · GitLab

Find file Blame History Permalink

modelcheck: update output and documentation · a9178fbe
Etienne Renault authored Mar 14, 2018
```
Fixes #330.

* tests/ltsmin/README,
tests/ltsmin/modelcheck.cc: here.
```
a9178fbe

To learn more about this project, read the wiki.

README 11 KB