src/ltltest/reduccmp.test · 7021e45f70128929991a7929e07dcc6a5e918697 · Spot / Spot · GitLab

Apr 15, 2010
7021e45f
Fix simplification of "a M true" as Fa. · 7021e45f
Alexandre Duret-Lutz authored Apr 15, 2010
```
* src/ltlvisit/simpfg.cc: Typo.
* src/ltltest/reduccmp.test: Add more tests.
```
7021e45f
Fix simplification of "a M true" as Fa.
Alexandre Duret-Lutz authored Apr 15, 2010
```
* src/ltlvisit/simpfg.cc: Typo.
* src/ltltest/reduccmp.test: Add more tests.
```