From 1a5ba014fb34785454c28f9fb8dfb0fdc65fbee5 Mon Sep 17 00:00:00 2001 From: Marco Eilers Date: Wed, 7 Feb 2024 22:43:44 +0100 Subject: [PATCH] Updating test annotations --- tests/obligations/verification/test_loop_leak_check.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/obligations/verification/test_loop_leak_check.py b/tests/obligations/verification/test_loop_leak_check.py index 7c53067d..8f3e658f 100644 --- a/tests/obligations/verification/test_loop_leak_check.py +++ b/tests/obligations/verification/test_loop_leak_check.py @@ -45,7 +45,7 @@ def MustRelease_context_2(lock: Lock[object]) -> None: i += 1 -#:: ExpectedOutput(leak_check.failed:method_body.leaks_obligations) +#:: ExpectedOutput(carbon)(leak_check.failed:method_body.leaks_obligations) def MustInvoke_body_1(t1: Place) -> None: Requires(token(t1, 1)) i = 0 @@ -55,7 +55,7 @@ def MustInvoke_body_1(t1: Place) -> None: i += 1 -#:: ExpectedOutput(leak_check.failed:method_body.leaks_obligations) +#:: ExpectedOutput(carbon)(leak_check.failed:method_body.leaks_obligations) def MustRelease_body_1(lock: Lock[object]) -> None: Requires(MustRelease(lock, 1)) i = 0