diff -r 37dd4e2fd2ec -r 3fb449ba9a72 tests/SFC_TEST.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/SFC_TEST.xml Thu Jul 19 14:07:04 2007 +0200 @@ -0,0 +1,791 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +QX1 := TRUE; +QX2 := TRUE; + + + + + + + + + + + + + + + + + + + + + + + + + + + IX1 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + IX2 = TRUE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 = FALSE AND QX2 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 = TRUE AND QX2 = TRUE + + + + + + + + + + + + + + + + + + QX1 = TRUE AND QX2 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 OR GX2 OR QX3 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 OR GX2 OR QX3 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 OR GX2 OR QX3 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 AND GX2 AND QX3 = TRUE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QX1 := QX2 XOR QX1; QX2 := NOT QX2 + + + + + + + + + + + + + + + + + + QX1 = FALSE AND QX2 = TRUE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + IX1 = TRUE + + + + + + + + + + + + + + + + + + IX1 = TRUE + + + + + + + + + + + + + + + + + + IX1 = FALSE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + IX1 := TRUE + + + + + + + + + + + + + + + IX1 := FALSE + + + + + + + + + + + + + + + IX1 := TRUE + + + + + + + + + + + + + + + QX1 : = FALSE + + + + + + + + + + + + + + + QX2 : = FALSE + + + + + + + + + + + + + + + QX2 : = FALSE + + + + + + + + + + + + + + + QX1 := TRUE + + + + + + + + + + + + + + + QX2 := TRUE + + + + + + + + + + + + + + + QX3 := TRUE + + + + + + + + + + + + + + + + + + +