merged

viperproject · Oct 3, 2023 · 8f99cad · 8f99cad
2 parents 81cfc37 + 61d0bd9
commit 8f99cad
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/src/test/resources/regressions/issues/000589.gobra b/src/test/resources/regressions/issues/000589.gobra
@@ -17,7 +17,7 @@ decreases l
 func length(l list) int {
 	match l {
 		case Empty{}:
-		    //:: ExpectedOutput(assert_error:assertion_error)
+			//:: ExpectedOutput(assert_error:assertion_error)
 			assert false // <--- assert false here should be reachable
 			return 0
 		default:

diff --git a/src/test/resources/regressions/issues/000655.gobra b/src/test/resources/regressions/issues/000655.gobra
@@ -23,6 +23,8 @@ func foo2() {
 }
 
 /*
+// should work in the future:
+
 ghost
 pure func foo3(x pkg.Tree) bool {
   return match x {
@@ -32,5 +34,4 @@ pure func foo3(x pkg.Tree) bool {
     case _: false
   }
 }
-
 */
diff --git a/src/test/resources/regressions/issues/000686-6.gobra b/src/test/resources/regressions/issues/000686-6.gobra
@@ -3,7 +3,10 @@
 
 package pkg
 
-type X struct{
-    ghost f seq[int]
+//:: ExpectedOutput(type_error)
+type X adt {
+  A { x int }
+  B { x int }
 }
 
+