Commit ce67f05b authored by Point Gerald's avatar Point Gerald
Browse files

update test suite

parent 171f2856
......@@ -40,7 +40,7 @@ test-090.test test-091.test test-092.test test-093.test test-094.test \
test-095.test test-096.test test-097.test test-098.test test-099.test \
test-100.test test-101.test test-102.test test-103.test test-104.test \
test-105.test test-106.test test-107.test test-108.test test-109.test \
test-110.test test-111.test \
test-110.test test-111.test test-112.test \
\
sas-008.test sas-010.test sas-011.test sas-014.test sas-017.test sas-020.test \
sas-023.test sas-026.test sas-029.test sas-032.test sas-035.test \
......
......@@ -68,8 +68,8 @@ else
"errors in file ${ERRFILE}." 1>&2
fi
if test ${exitcode} -eq 0 -a -f ${srcdir}/"${EXPECTED_OUTFILE}"; then
exitcode=0
if test ${exitcode} -eq 0 && test -f ${EXPECTED_OUTFILE};
then
if ! cmp -s "${EXPECTED_OUTFILE}" "${OUTFILE}";
then
echo "${TESTNAME} has unexpected output. Try:" 1>&2
......
......@@ -208,6 +208,7 @@ node Version1
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
'F2.D.closed' : bool : public;
'F2.B.light' : bool : public;
......@@ -215,15 +216,14 @@ node Version1
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F3.D.closed' : bool : public;
'C.floor' : [0, 3] : parent;
flow
request2 : bool : private;
request3 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
mayGoUp : bool : private;
request2 : bool : private;
request3 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -284,18 +284,19 @@ edon
// number of transitions : 19
node Version1
flow // 6 flow variables
request2 : bool : private;
request3 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
mayGoDown : bool : private;
request2 : bool : private;
request3 : bool : private;
state // 14 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
'C.B2.light' : bool : public;
'C.B3.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
......@@ -303,7 +304,6 @@ node Version1
'F2.D.closed' : bool : public;
'F3.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F0.B.light' : bool : public;
'C.floor' : [0, 3] : parent;
init
'C.B3.light' := false,
......@@ -374,6 +374,7 @@ node Version2
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
'F2.D.closed' : bool : public;
'F2.B.light' : bool : public;
......@@ -381,15 +382,14 @@ node Version2
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F3.D.closed' : bool : public;
'C.floor' : [0, 3] : parent;
flow
request2 : bool : private;
request3 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
mayGoUp : bool : private;
request2 : bool : private;
request3 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -450,18 +450,19 @@ edon
// number of transitions : 19
node Version2
flow // 6 flow variables
request2 : bool : private;
request3 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
mayGoDown : bool : private;
request2 : bool : private;
request3 : bool : private;
state // 14 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
'C.B2.light' : bool : public;
'C.B3.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
......@@ -469,7 +470,6 @@ node Version2
'F2.D.closed' : bool : public;
'F3.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F0.B.light' : bool : public;
'C.floor' : [0, 3] : parent;
init
'C.B3.light' := false,
......@@ -620,12 +620,12 @@ edon
// number of transitions : 21
node Version3
flow // 6 flow variables
request3 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
state // 15 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......
......@@ -220,6 +220,8 @@ node Version1
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
'F2.D.closed' : bool : public;
......@@ -228,17 +230,15 @@ node Version1
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'C.floor' : [0, 4] : parent;
flow
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -308,13 +308,13 @@ edon
// number of transitions : 23
node Version1
flow // 7 flow variables
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
state // 17 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -322,6 +322,8 @@ node Version1
'C.B3.light' : bool : public;
'C.B4.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'F2.B.light' : bool : public;
......@@ -330,8 +332,6 @@ node Version1
'F3.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'C.floor' : [0, 4] : parent;
init
'C.B4.light' := false,
......@@ -415,6 +415,8 @@ node Version2
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
'F2.D.closed' : bool : public;
......@@ -423,17 +425,15 @@ node Version2
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'C.floor' : [0, 4] : parent;
flow
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -503,13 +503,13 @@ edon
// number of transitions : 23
node Version2
flow // 7 flow variables
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
state // 17 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -517,6 +517,8 @@ node Version2
'C.B3.light' : bool : public;
'C.B4.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'F2.B.light' : bool : public;
......@@ -525,8 +527,6 @@ node Version2
'F3.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'C.floor' : [0, 4] : parent;
init
'C.B4.light' := false,
......@@ -610,6 +610,7 @@ node Version3
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
......@@ -619,16 +620,15 @@ node Version3
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F4.D.closed' : bool : public;
'C.floor' : [0, 4] : parent;
flow
request4 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
state
climb : bool;
event
......@@ -702,13 +702,13 @@ edon
// number of transitions : 25
node Version3
flow // 7 flow variables
request3 : bool : private;
request4 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
state // 18 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -716,6 +716,7 @@ node Version3
'C.B3.light' : bool : public;
'C.B4.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
......@@ -725,7 +726,6 @@ node Version3
'F3.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F0.B.light' : bool : public;
'C.floor' : [0, 4] : parent;
climb : bool;
init
......
......@@ -232,6 +232,9 @@ node Version1
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
......@@ -241,19 +244,16 @@ node Version1
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'C.floor' : [0, 5] : parent;
flow
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -332,14 +332,14 @@ edon
// number of transitions : 27
node Version1
flow // 8 flow variables
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
state // 20 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -348,6 +348,9 @@ node Version1
'C.B4.light' : bool : public;
'C.B5.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'F2.B.light' : bool : public;
'F2.D.closed' : bool : public;
......@@ -357,9 +360,6 @@ node Version1
'F4.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'C.floor' : [0, 5] : parent;
init
'C.B5.light' := false,
......@@ -456,6 +456,9 @@ node Version2
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
'F3.B.light' : bool : public;
......@@ -465,19 +468,16 @@ node Version2
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'C.floor' : [0, 5] : parent;
flow
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -556,14 +556,14 @@ edon
// number of transitions : 27
node Version2
flow // 8 flow variables
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
state // 20 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -572,6 +572,9 @@ node Version2
'C.B4.light' : bool : public;
'C.B5.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'F2.B.light' : bool : public;
'F2.D.closed' : bool : public;
......@@ -581,9 +584,6 @@ node Version2
'F4.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'C.floor' : [0, 5] : parent;
init
'C.B5.light' := false,
......@@ -680,6 +680,8 @@ node Version3
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
......@@ -690,18 +692,16 @@ node Version3
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'C.floor' : [0, 5] : parent;
flow
request4 : bool : private;
request5 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
state
climb : bool;
event
......@@ -784,14 +784,14 @@ edon
// number of transitions : 29
node Version3
flow // 8 flow variables
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
state // 21 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -800,6 +800,8 @@ node Version3
'C.B4.light' : bool : public;
'C.B5.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'F2.B.light' : bool : public;
......@@ -810,8 +812,6 @@ node Version3
'F4.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'C.floor' : [0, 5] : parent;
climb : bool;
init
......
......@@ -244,6 +244,10 @@ node Version1
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F6.D.closed' : bool : public;
'F6.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
......@@ -254,21 +258,17 @@ node Version1
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F6.D.closed' : bool : public;
'F6.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'C.floor' : [0, 6] : parent;
flow
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
request6 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -356,15 +356,15 @@ edon
// number of transitions : 31
node Version1
flow // 9 flow variables
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
request6 : bool : private;
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
state // 23 state variables
'C.B0.light' : bool : public;
'C.B1.light' : bool : public;
......@@ -374,6 +374,10 @@ node Version1
'C.B5.light' : bool : public;
'C.B6.light' : bool : public;
'C.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'F2.B.light' : bool : public;
'F2.D.closed' : bool : public;
'F3.B.light' : bool : public;
......@@ -384,10 +388,6 @@ node Version1
'F5.D.closed' : bool : public;
'F6.B.light' : bool : public;
'F6.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F1.B.light' : bool : public;
'F1.D.closed' : bool : public;
'C.floor' : [0, 6] : parent;
init
'C.B6.light' := false,
......@@ -497,6 +497,10 @@ node Version2
'C.B1.light' : bool : public;
'C.B0.light' : bool : public;
'C.D.closed' : bool : public;
'F6.D.closed' : bool : public;
'F6.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'F4.D.closed' : bool : public;
'F4.B.light' : bool : public;
'F3.D.closed' : bool : public;
......@@ -507,21 +511,17 @@ node Version2
'F1.B.light' : bool : public;
'F0.D.closed' : bool : public;
'F0.B.light' : bool : public;
'F6.D.closed' : bool : public;
'F6.B.light' : bool : public;
'F5.D.closed' : bool : public;
'F5.B.light' : bool : public;
'C.floor' : [0, 6] : parent;
flow
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
request6 : bool : private;
mayGoUp : bool : private;
mayGoDown : bool : private;
request0 : bool : private;
request1 : bool : private;
event
'<F0.B.push, F0.B.push, F0.B.push>' : public;
'<F1.B.push, F1.B.push, F1.B.push>' : public;
......@@ -609,15 +609,15 @@ edon
// number of transitions : 31
node Version2
flow // 9 flow variables
mayGoDown : bool : private;
mayGoUp : bool : private;
request0 : bool : private;
request1 : bool : private;
request2 : bool : private;
request3 : bool : private;
request4 : bool : private;
request5 : bool : private;
request6 : bool : private;
mayGoDown : bool : private;