From 87adb0170f77c846285877407f1ef53fa4165edb Mon Sep 17 00:00:00 2001 From: gauravpartha Date: Tue, 25 Apr 2023 11:50:02 +0200 Subject: [PATCH] add UnexpectedOutput to example with permission introspection inside unfolding expression (connected to Carbon PR #457) --- src/test/resources/all/issues/carbon/0213.vpr | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/resources/all/issues/carbon/0213.vpr b/src/test/resources/all/issues/carbon/0213.vpr index d84404e21..944af41fd 100644 --- a/src/test/resources/all/issues/carbon/0213.vpr +++ b/src/test/resources/all/issues/carbon/0213.vpr @@ -11,5 +11,6 @@ method test(r:Ref) requires P(r) { assert perm(r.next) == none + //:: UnexpectedOutput(assert.failed:assertion.false, /carbon/issue/213/) assert (unfolding P(r) in perm(r.next) == write) } \ No newline at end of file