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

* src/tgbatest/wdba2.test: Adjust to yesterday's change to -kt.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-09-12 18:02:59 +02:00
parent 6a3cf7538c
commit 70f51b2786
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbatest/wdba2.test
View file

@ -28,6 +28,7 @@ cat >expected <<EOF
sub trans.: 16 sub trans.: 16
transitions: 8 transitions: 8
states: 4 states: 4
nondeterministic states: 0
EOF EOF
# These two equivalent formulae used to produce # These two equivalent formulae used to produce