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

manud99 · web-flow · commit 86742da3001d · 2024-06-12T23:11:39.000Z
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)
 }
 

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,6 @@ method test5a(x: Ref)`
`19`	`19`	`// x.g \|-> tg' # tf'' ? w : n`
`20`	`20`
`21`	`21`	`//:: ExpectedOutput(assert.failed:insufficient.permission)`
`22`		`- //:: MissingOutput(assert.failed:insufficient.permission, /silicon/issue/307/)`
`23`	`22`	`assert acc(x.g, 1/1000)`
`24`	`23`	`}`
`25`	`24`