Added test annotation for Carbon

viperproject · Oct 16, 2023 · 7edf26b · 7edf26b
1 parent c49b10a
commit 7edf26b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/resources/all/issues/silicon/0338.vpr b/src/test/resources/all/issues/silicon/0338.vpr
@@ -40,6 +40,7 @@ method bar(x: Ref)
 {
     package acc(x.data) --* false {
         assert acc(x.data) && acc(x.data)
+        //:: UnexpectedOutput(assert.failed:assertion.false, /carbon/issue/470/)
         assert false
     }
     //:: ExpectedOutput(assert.failed:assertion.false)