From c90952202c1a1feb739962100cef56e0c2db6692 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Mon, 29 Jul 2024 18:29:16 +0000 Subject: [PATCH] Fixes for tests --- .../safety-constraint-attribute/check-invariant/expected | 2 +- tests/ui/safety-constraint-attribute/no-struct-error/expected | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/expected/safety-constraint-attribute/check-invariant/expected b/tests/expected/safety-constraint-attribute/check-invariant/expected index ddc63950adbd..2c5a97ae90a7 100644 --- a/tests/expected/safety-constraint-attribute/check-invariant/expected +++ b/tests/expected/safety-constraint-attribute/check-invariant/expected @@ -4,4 +4,4 @@ Check 1: check_invariant.assertion.1\ Check 2: check_invariant.assertion.2\ - Status: UNREACHABLE\ - - Description: ""this is unreachable"" + - Description: ""this assertion should unreachable"" diff --git a/tests/ui/safety-constraint-attribute/no-struct-error/expected b/tests/ui/safety-constraint-attribute/no-struct-error/expected index fe258440adfb..df6bd82f00d6 100644 --- a/tests/ui/safety-constraint-attribute/no-struct-error/expected +++ b/tests/ui/safety-constraint-attribute/no-struct-error/expected @@ -3,4 +3,4 @@ error: Cannot derive `Invariant` for `MyEnum` | #[derive(kani::Invariant)] | ^^^^^^^^^^^^^^^ | -note: `#[safety_constraint(...)]` can only be used in structs \ No newline at end of file +note: `#[safety_constraint(...)]` can only be used in structs