Update failing cases, add parsing edge case

viperproject · Jul 19, 2023 · 95e6bf0 · 95e6bf0
1 parent a5d1638
commit 95e6bf0
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 5 deletions.
diff --git a/src/test/resources/all/issues/silver/0027.vpr b/src/test/resources/all/issues/silver/0027.vpr
@@ -1,7 +1,6 @@
-// Any copyright is dedicated to the Public Domain.
-// http://creativecommons.org/publicdomain/zero/1.0/
-
-//:: ExpectedOutput(typechecker.error)
+// Any copyright is dedicated to the Public Domain.
+// http://creativecommons.org/publicdomain/zero/1.0/
+
 field f: Int
 
 //:: ExpectedOutput(typechecker.error)

diff --git a/src/test/resources/all/parsing/typed_call_ambig.vpr b/src/test/resources/all/parsing/typed_call_ambig.vpr
@@ -0,0 +1,8 @@
+domain huh {
+    function myfun(b: Bool): Bool
+}
+
+method m()
+{
+  assert (myfun(forall i: Int :: i > 0 || i <= 0))
+}
diff --git a/src/test/resources/wands/regression/consistency_let_resolver.vpr b/src/test/resources/wands/regression/consistency_let_resolver.vpr
@@ -12,11 +12,12 @@ method test02() {
   assert (let y == (0) in true) && y == 0
 }
 
-//:: ExpectedOutput(typechecker.error)
 method test03(y: Int) {
+  //:: ExpectedOutput(typechecker.error)
   assert let y == (0) in true
 }
 
+//:: ExpectedOutput(typechecker.error)
 method test03() {
   //:: ExpectedOutput(typechecker.error)
   assert let y == (0) in let y == (true) in true