Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
python
gen.py
Find file
Blame
History
Permalink
Check that automata produced by ks_cobuchi are state-based.
· 17bbef6c
Maximilien Colange
authored
Apr 24, 2017
* tests/python/gen.py: implement the check.
17bbef6c