Remove MissingOutput flag from test case conditionals2.vpr (#788)

viperproject · Jun 12, 2024 · 86742da · 86742da
1 parent e51a7aa
commit 86742da
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/test/resources/wands/regression/conditionals2.vpr b/src/test/resources/wands/regression/conditionals2.vpr
@@ -19,7 +19,6 @@ method test5a(x: Ref)
     //                       x.g |-> tg' # tf'' ? w : n
 
   //:: ExpectedOutput(assert.failed:insufficient.permission)
-  //:: MissingOutput(assert.failed:insufficient.permission, /silicon/issue/307/)
   assert acc(x.g, 1/1000)
 }