Skip to content

Commit ef33430

Browse files
committed
run ptr_int tests with Tree Borrows
1 parent 673b3b1 commit ef33430

File tree

4 files changed

+4
-108
lines changed

4 files changed

+4
-108
lines changed

src/tools/miri/tests/pass/ptr_int_casts.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
//@compile-flags: -Zmiri-permissive-provenance
2+
//@revisions: stack tree
3+
//@[tree]compile-flags: -Zmiri-tree-borrows
24
use std::{mem, ptr};
35

46
fn eq_ref<T>(x: &T, y: &T) -> bool {

src/tools/miri/tests/pass/ptr_int_casts.tree.stderr

Lines changed: 0 additions & 89 deletions
This file was deleted.

src/tools/miri/tests/pass/ptr_int_from_exposed.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
//@compile-flags: -Zmiri-permissive-provenance
2+
//@revisions: stack tree
3+
//@[tree]compile-flags: -Zmiri-tree-borrows
24

35
use std::ptr;
46

src/tools/miri/tests/pass/ptr_int_from_exposed.tree.stderr

Lines changed: 0 additions & 19 deletions
This file was deleted.

0 commit comments

Comments
 (0)