Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
python
tra2tba.py
Find file
Blame
History
Permalink
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