fixes unit tests

viperproject · Jun 24, 2024 · 3627435 · 3627435
1 parent 0a86f7e
commit 3627435
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 6 deletions.
diff --git a/src/test/resources/regressions/features/defunc/pred-construct-fail1.gobra b/src/test/resources/regressions/features/defunc/pred-construct-fail1.gobra
@@ -11,13 +11,12 @@ pred (rec *T) AccInv() {
 	acc(rec)
 }
 
-func f(p pred())
+func f(ghost p pred())
 
 func error1() {
 	v := &T{}
 	fold v.AccInv()
-	//:: ExpectedOutput(type_error)
-	f((*T).AccInv!<v!>) // Predicate expressions are not allowed in predicate constructors
+	f((*T).AccInv!<v!>)
 }
 
 func g(x int)
@@ -28,4 +27,4 @@ func error2() {
 	// base, and examples like this would not throw a type error
 	//:: ExpectedOutput(type_error)
 	f(g!<x!>)
-}
+}
diff --git a/src/test/resources/regressions/features/fractional_permissions/perm-fail1.gobra b/src/test/resources/regressions/features/fractional_permissions/perm-fail1.gobra
@@ -69,7 +69,7 @@ func test9() {
 }
 
 func test10() {
-	var m5 perm = 1/2
+	ghost var m5 perm = 1/2
 	//:: ExpectedOutput(assert_error)
 	assert m5 + 1/2 == 1/2
 }

diff --git a/src/test/resources/regressions/features/fractional_permissions/perm-simple1.gobra b/src/test/resources/regressions/features/fractional_permissions/perm-simple1.gobra
@@ -52,7 +52,7 @@ func test6() {
 	m4 := 1/2 + 1/2
 	assert m4 == noPerm
 
-	var m5 perm = 1/2
+	ghost var m5 perm = 1/2
 	assert m5 + 1/2 == writePerm
 
 	m6 := perm((1/2)/1)