first commit

boogie-org · Nov 22, 2024 · b949025 · b949025
1 parent 0089082
commit b949025
Show file tree

Hide file tree

Showing 3 changed files with 715 additions and 8 deletions.
diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
@@ -1133,15 +1133,19 @@ WhileCmd<out WhileCmd wcmd>
     "invariant"
     { Attribute<ref kv> }
     (
-      Expression<out e> (. if (isFree) {
-                             invariants.Add(new AssumeCmd(z, e, kv));
-                           } else {
-                             invariants.Add(new AssertCmd(z, e, kv));
-                           }
-						   kv = null;
+      Expression<out e> (.
+                          if (isFree) {
+                            invariants.Add(new AssumeCmd(z, e, kv));
+                          } else {
+                            invariants.Add(new AssertCmd(z, e, kv));
+                          }
+						              kv = null;
                         .)
       |
-      CallCmd<out cmd>  (. yields.Add((CallCmd)cmd); .)
+      CallCmd<out cmd>  (.
+                          yields.Add((CallCmd)cmd);
+                          kv = null;
+                        .)
     )
     ";"
   }

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
@@ -1667,7 +1667,9 @@ void WhileCmd(out WhileCmd wcmd) {
 
 			} else if (la.kind == 38 || la.kind == 53 || la.kind == 71) {
 				CallCmd(out cmd);
-				yields.Add((CallCmd)cmd); 
+				yields.Add((CallCmd)cmd);
+				kv = null;
+
 			} else SynErr(151);
 			Expect(10);
 		}