feat: update example

yan-elena · Sep 1, 2023 · 181db73 · 181db73
1 parent cdf0295
commit 181db73
Showing 1 changed file with 10 additions and 4 deletions.
diff --git a/src/agt/bob.asl b/src/agt/bob.asl
@@ -10,16 +10,22 @@ test1(1).
 
 +?test2(2).
 
-+count(3) <- a7.
++!g.
+
++count(3) <- !g; a7.
+
++b(0) <- !g.
 
 +tellHello
-    <-  .print("receive tell hello").
+    <-  !g; .print("receive tell hello").
 
 +!achieveHello
-    <-  .print("receive achieve hello").
+    <-  !g; .print("receive achieve hello").
+
++signalHello <- !g.
 
 +tick
-    <-  .print("tick message").
+    <-  !g; .print("tick message").
 
 { include("$jacamoJar/templates/common-cartago.asl") }
 { include("$jacamoJar/templates/common-moise.asl") }