spot/twaalgos/sccinfo.cc · f45112a235972c12474882f2e2f2f964e4678f61 · Spot / Spot · GitLab

Sep 25, 2017
f45112a2
Fix a bug in scc_info, and clarify documentation · f45112a2
Maximilien Colange authored Sep 25, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017
```
* spot/twaalgos/sccinfo.hh, spot/twaalgos/sccinfo.cc: Implement it
* tests/python/sccinfo.py: Test it
* NEWS: Document the fix
```
f45112a2
Fix a bug in scc_info, and clarify documentation
Maximilien Colange authored Sep 25, 2017 and Alexandre Duret-Lutz committed Sep 29, 2017
```
* spot/twaalgos/sccinfo.hh, spot/twaalgos/sccinfo.cc: Implement it
* tests/python/sccinfo.py: Test it
* NEWS: Document the fix
```