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

Find file Blame History Permalink

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