spot/twaalgos/sccinfo.cc · 904cfb27fab9239086d9550290b6a0cc93ed0f58 · Spot / Spot · GitLab

Dec 22, 2017
904cfb27
scc_info: detect incorrect initial state · 904cfb27
Alexandre Duret-Lutz authored Dec 22, 2017
```
* spot/twaalgos/sccinfo.cc: Here.
* tests/python/sccinfo.py: Test it.
```
904cfb27
scc_info: detect incorrect initial state
Alexandre Duret-Lutz authored Dec 22, 2017
```
* spot/twaalgos/sccinfo.cc: Here.
* tests/python/sccinfo.py: Test it.
```