Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
bd8ede62265857603247464da8cec87a4d9dc975
Switch branch/tag
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
