tests/ltsmin/modelcheck.cc · 6d44a2a3b4e7dc34af0d2f70754cc7a947545088 · Spot / Spot · GitLab

Sep 28, 2016
6d44a2a3
Twacube must share the order of atomic propositions · 6d44a2a3
Etienne Renault authored Sep 28, 2016
```
* spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh,
tests/ltsmin/modelcheck.cc: here.
```
6d44a2a3
Twacube must share the order of atomic propositions
Etienne Renault authored Sep 28, 2016
```
* spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh,
tests/ltsmin/modelcheck.cc: here.
```