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

* src/tests/satmin2.test: Adjust for previous patch.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-25 09:16:33 +01:00
parent 4221e68d44
commit e7cc89264a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tests/satmin2.test
View file

@ -51,8 +51,8 @@ State: 2
EOF EOF
cat >expected <<EOF cat >expected <<EOF
sub trans.: 2
transitions: 2 transitions: 2
edges: 2
states: 1 states: 1
nondeterministic states: 0 nondeterministic states: 0
EOF EOF