diff options
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"> |