Skip to content

Commit 0033a60

Browse files
committed
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
1 parent 07e2d21 commit 0033a60

File tree

2 files changed

+0
-3
lines changed

2 files changed

+0
-3
lines changed

tests/ui/cbmc_checks/signed-overflow/expected

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,3 @@ Failed Checks: attempt to shift left with overflow
99
Failed Checks: attempt to shift right with overflow
1010
Failed Checks: arithmetic overflow on signed shl
1111
Failed Checks: shift operand is negative
12-
Failed Checks: shift distance is negative
13-
Failed Checks: shift distance too large

tests/ui/cbmc_checks/unsigned-overflow/expected

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,4 +5,3 @@ Failed Checks: attempt to subtract with overflow
55
Failed Checks: attempt to multiply with overflow
66
Failed Checks: attempt to shift right with overflow
77
Failed Checks: attempt to shift left with overflow
8-
Failed Checks: shift distance too large

0 commit comments

Comments
 (0)