Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
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