alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Check that automata produced by ks_cobuchi are state-based.

Browse source 
* tests/python/gen.py: implement the check.
This commit is contained in:
Maximilien Colange 2017-04-24 14:03:04 +02:00
parent 2532c2fff4
commit 17bbef6cce
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/python/gen.py
View file

@ -25,6 +25,7 @@ import spot.gen as gen
from sys import exit
k2 = gen.ks_cobuchi(2)
assert k2.prop_state_acc()
assert k2.num_states() == 5
# to_str is defined in the spot package, so this makes sure
# the type returned by spot.gen.ks_cobuchi() is the correct one.