Skip to content

Commit 40fdfb3

Browse files
committed
Update Miri unit tests
1 parent 47145a2 commit 40fdfb3

File tree

1 file changed

+8
-3
lines changed

1 file changed

+8
-3
lines changed

ui/src/sandbox.rs

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1574,21 +1574,26 @@ mod test {
15741574
let resp = sb.miri(&req).await?;
15751575

15761576
assert!(
1577+
resp.stderr.contains("Undefined Behavior"),
1578+
"was: {}",
15771579
resp.stderr
1578-
.contains("pointer must be in-bounds at offset 1"),
1580+
);
1581+
assert!(
1582+
resp.stderr.contains("pointer to 1 byte"),
15791583
"was: {}",
15801584
resp.stderr
15811585
);
15821586
assert!(
1583-
resp.stderr.contains("outside bounds of alloc"),
1587+
resp.stderr.contains("starting at offset 0"),
15841588
"was: {}",
15851589
resp.stderr
15861590
);
15871591
assert!(
1588-
resp.stderr.contains("which has size 0"),
1592+
resp.stderr.contains("is out-of-bounds"),
15891593
"was: {}",
15901594
resp.stderr
15911595
);
1596+
assert!(resp.stderr.contains("has size 0"), "was: {}", resp.stderr);
15921597
Ok(())
15931598
}
15941599

0 commit comments

Comments
 (0)