tests/python/tra2tba.py · bd8ede62265857603247464da8cec87a4d9dc975 · Spot / Spot · GitLab

Jun 13, 2017
bd8ede62
tra2tba: Merge edges of resulting automaton · bd8ede62
Henrich Lauko authored Jun 13, 2017 and Alexandre Duret-Lutz committed Jul 17, 2017
```
* spot/twaalgos/tra2tba.cc: Call 'merge_edges'
* tests/python/tra2tba.py: Update tests
```
bd8ede62
tra2tba: Merge edges of resulting automaton
Henrich Lauko authored Jun 13, 2017 and Alexandre Duret-Lutz committed Jul 17, 2017
```
* spot/twaalgos/tra2tba.cc: Call 'merge_edges'
* tests/python/tra2tba.py: Update tests
```