diff options
Diffstat (limited to 'test/w3c/promela/test551.scxml')
| -rw-r--r-- | test/w3c/promela/test551.scxml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/test/w3c/promela/test551.scxml b/test/w3c/promela/test551.scxml index cdc185e..9ef6405 100644 --- a/test/w3c/promela/test551.scxml +++ b/test/w3c/promela/test551.scxml @@ -8,11 +8,7 @@ <state id="s1"> <datamodel> <data id="Var1" type="int[3]"> - - Var1[0] = 1; - Var1[1] = 2; - Var1[2] = 3; - + [1,2,3] </data> </datamodel> </state> |