Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
gen
automata.cc
Find file
Blame
History
Permalink
gen: set more properties in automata
· ae78e1d2
Alexandre Duret-Lutz
authored
Apr 28, 2017
* spot/gen/automata.cc: Set more properties. * tests/python/gen.py: Check that they are set.
ae78e1d2