diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-12-14 13:20:04 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-12-14 13:20:04 (GMT) |
commit | 330576fcb4d97504e0d6951067b753499d91b541 (patch) | |
tree | 9c583dd3e13ff574295f559a7b92dfe9a1dafd2d /test/w3c/promela/test156.scxml | |
parent | 9608216597fd17021d38e80689644beb3c85abb9 (diff) | |
download | uscxml-330576fcb4d97504e0d6951067b753499d91b541.zip uscxml-330576fcb4d97504e0d6951067b753499d91b541.tar.gz uscxml-330576fcb4d97504e0d6951067b753499d91b541.tar.bz2 |
Renamed URI to URL
Some fixes for Xincludes
Diffstat (limited to 'test/w3c/promela/test156.scxml')
-rw-r--r-- | test/w3c/promela/test156.scxml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/test/w3c/promela/test156.scxml b/test/w3c/promela/test156.scxml index b07d289..d81a2a2 100644 --- a/test/w3c/promela/test156.scxml +++ b/test/w3c/promela/test156.scxml @@ -6,11 +6,7 @@ should cause an error, so var1 should be incremented only once --> <data id="Var1" type="int" expr="0"/> <data id="Var2" type="int"/> <data id="Var3" type="int[3]"> - - Var3[0] = 1; - Var3[1] = 2; - Var3[2] = 3; - + [1,2,3] </data> </datamodel> <state id="s0"> |