RIC-1069: Fix syntax error in testcase art_0025

mattias-mohlin · mattias-mohlin · commit acdd4dd25ad1 · 2024-08-16T13:52:53.000+02:00
diff --git a/art-comp-test/tests/art_0025/art_0025.art b/art-comp-test/tests/art_0025/art_0025.art
@@ -52,7 +52,12 @@ capsule Ponger {
 capsule Another {
     service behavior port p1 : PROTO;      
     part inner : Inner;
-    connect p1 with inner.p;   
+    connect p1 with inner.p;
+
+    statemachine {
+        state State;
+        initial -> State;
+    }; 
 };
 
 capsule Inner {
diff --git a/docs-sources/validation.md b/docs-sources/validation.md
@@ -824,6 +824,11 @@ capsule Another {
     service behavior port p1 : PROTO;      
     part inner : Inner;
     connect p1 with inner.p;   
+
+    statemachine {
+        state State;
+        initial -> State;
+    };
 };
 
 capsule Inner {
