Fix test

viperproject · Oct 15, 2024 · c6fe45d · c6fe45d
1 parent 0ed3647
commit c6fe45d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/silver b/silver
diff --git a/src/test/resources/moreCompleteExhale/0523.vpr b/src/test/resources/moreCompleteExhale/0523.vpr
@@ -33,5 +33,4 @@ predicate SomePredicate_pkg_F(param_pkg_V0: Ref) {
 method client2_pkg_F(param_pkg_V0: Ref) returns (res_pkg_V0: Int)
   requires acc(SomePredicate_pkg_F(param_pkg_V0), 1 / 2)
   ensures acc(SomePredicate_pkg_F(param_pkg_V0), 1 / 2)
-  //:: ExpectedOutput(application.precondition:insufficient.permission)
   ensures res_pkg_V0 == getter_pkg_F(param_pkg_V0)