bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add miri regression test

Browse source
This commit is contained in:
The 8472 2023-01-17 20:30:47 +01:00
parent 47014b1bb9
commit 2d54b7ceb2
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tools/miri/tests/pass/vec.rs
View file

@ -162,6 +162,11 @@ fn reverse() {
assert!(v[0].0 == 49); assert!(v[0].0 == 49);
} }
fn miri_issue_2759() {
let mut input = "1".to_string();
input.replace_range(0..0, "0");
}
fn main() { fn main() {
assert_eq!(vec_reallocate().len(), 5); assert_eq!(vec_reallocate().len(), 5);
@ -191,4 +196,5 @@ fn main() {
swap(); swap();
swap_remove(); swap_remove();
reverse(); reverse();
miri_issue_2759();
} }