Change tests expectations

Remove CBMC failure expectations that are now caught by the rust overflow check. This was due to the following Rust compiler change: - rust-lang/rust#108282
celinval · May 1, 2023 · 0033a60 · 0033a60
1 parent 07e2d21
commit 0033a60
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/tests/ui/cbmc_checks/signed-overflow/expected b/tests/ui/cbmc_checks/signed-overflow/expected
@@ -9,5 +9,3 @@ Failed Checks: attempt to shift left with overflow
 Failed Checks: attempt to shift right with overflow
 Failed Checks: arithmetic overflow on signed shl
 Failed Checks: shift operand is negative
-Failed Checks: shift distance is negative
-Failed Checks: shift distance too large
diff --git a/tests/ui/cbmc_checks/unsigned-overflow/expected b/tests/ui/cbmc_checks/unsigned-overflow/expected
@@ -5,4 +5,3 @@ Failed Checks: attempt to subtract with overflow
 Failed Checks: attempt to multiply with overflow
 Failed Checks: attempt to shift right with overflow
 Failed Checks: attempt to shift left with overflow
-Failed Checks: shift distance too large