Update t_3.zls

INRIA · Oct 31, 2024 · c8dd4d4 · c8dd4d4
1 parent a50f244
commit c8dd4d4
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/ctests/good/t_3.zls b/src/ctests/good/t_3.zls
@@ -1,3 +1,10 @@
+let node f0(x) returns (o)
+    o = 0 -> pre(o) + x
+
+let node f00(x) returns (o)
+    o = 0 fby o + x
+
+    (*
 let node f1 () returns (o)
   if true then o = 1 else o = 2
 
@@ -14,3 +21,4 @@ let node f3 () returns (o)
   init
     if true then B else A
   end
+*)