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

* src/tests/ltl2dstar.test: Fix after recent change to relabeling_map.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-06-07 19:11:48 +02:00
parent a8f02ed8ca
commit 240d5b4605
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/tests/ltl2dstar.test
View file

@ -85,21 +85,21 @@ cat >expected <<EOF
HOA: v1 HOA: v1
States: 5 States: 5
Start: 3 Start: 3
AP: 2 "b" "a" AP: 2 "a" "b"
acc-name: Rabin 2 acc-name: Rabin 2
Acceptance: 4 (Fin(0) & Inf(1)) | (Fin(2) & Inf(3)) Acceptance: 4 (Fin(0) & Inf(1)) | (Fin(2) & Inf(3))
properties: implicit-labels state-acc complete deterministic properties: implicit-labels state-acc complete deterministic
--BODY-- --BODY--
State: 0 {1 3} State: 0 {1 3}
2 0 4 1 2 4 0 1
State: 1 {0 3} State: 1 {0 3}
2 0 4 1 2 4 0 1
State: 2 {1} State: 2 {1}
2 0 4 1 2 4 0 1
State: 3 {0} State: 3 {0}
0 0 1 1 0 1 0 1
State: 4 {0} State: 4 {0}
2 0 4 1 2 4 0 1
--END-- --END--
EOF EOF
diff out.hoa expected diff out.hoa expected