src/bin/ltl2tgba.cc · 1628b188fee71dd6276ee05e6f8f484912848d6a · Spot / Spot · GitLab

Jul 16, 2015
dafeda6f
bin: make it clear that -B produces state-based acceptance · dafeda6f
Alexandre Duret-Lutz authored Jul 16, 2015
```
* src/bin/autfilt.cc, src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc: Here.
```
dafeda6f
bin: make it clear that -B produces state-based acceptance
Alexandre Duret-Lutz authored Jul 16, 2015
```
* src/bin/autfilt.cc, src/bin/dstar2tgba.cc, src/bin/ltl2tgba.cc: Here.
```