tests/ltsmin/modelcheck.cc · 4d9679c2361fd720c0bc27a5e9610263ae3701d7 · Spot / Spot · GitLab

Oct 21, 2019
4d9679c2
ltsmin: prefer '\n' for std::cerr · 4d9679c2
Etienne Renault authored Oct 21, 2019
```
* tests/ltsmin/modelcheck.cc: Here.
```
4d9679c2
ltsmin: prefer '\n' for std::cerr
Etienne Renault authored Oct 21, 2019
```
* tests/ltsmin/modelcheck.cc: Here.
```