Fixes for tests

adpaco-aws · Jul 29, 2024 · c909522 · c909522
1 parent d51fed0
commit c909522
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -3,4 +3,4 @@ error: Cannot derive `Invariant` for `MyEnum`
 | #[derive(kani::Invariant)]
    |          ^^^^^^^^^^^^^^^
    |
-note: `#[safety_constraint(...)]` can only be used in structs
+note: `#[safety_constraint(...)]` can only be used in structs