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
f58f61b3021445a19deed944df13ccd4945253e4
Switch branch/tag
spot
tests
python
dualize.py
Find file
Blame
History
Permalink
Improve tests of spot.dualize()
· f58f61b3
Maximilien Colange
authored
Aug 28, 2017
* tests/python/dualize.py: test that an automaton and its dual have complementary languages.
f58f61b3