more tests

nia-e · nia-e · commit 6d91006c8058 · 2025-07-09T21:47:40.000+02:00
diff --git a/tests/native-lib/fail/trace_read.rs b/tests/native-lib/fail/trace_read.rs
@@ -2,7 +2,7 @@
 //@only-target: gnu
 //@only-target: x86
 //@only-on-host
-//@compile-flags: -Zmiri-permissive-provenance -Zmiri-native-lib-enable-tracing
+//@compile-flags: -Zmiri-native-lib-enable-tracing
 
 extern "C" {
     fn do_nothing();
diff --git a/tests/native-lib/fail/trace_write.rs b/tests/native-lib/fail/trace_write.rs
@@ -2,7 +2,7 @@
 //@only-target: gnu
 //@only-target: x86
 //@only-on-host
-//@compile-flags: -Zmiri-permissive-provenance -Zmiri-native-lib-enable-tracing
+//@compile-flags: -Zmiri-native-lib-enable-tracing
 
 extern "C" {
     fn init_n(n: i32, ptr: *mut u8);
diff --git a/tests/native-lib/pass/ptr_read_access.notrace.stderr b/tests/native-lib/pass/ptr_read_access.notrace.stderr
diff --git a/tests/native-lib/pass/ptr_read_access.rs b/tests/native-lib/pass/ptr_read_access.rs
@@ -1,3 +1,10 @@
+//revisions: trace notrace
+//@[trace] only-target: linux
+//@[trace] only-target: gnu
+//@[trace] only-target: x86
+//@[trace] only-on-host
+//@[trace] compile-flags: -Zmiri-native-lib-enable-tracing
+
 fn main() {
     test_access_pointer();
     test_access_simple();
diff --git a/tests/native-lib/pass/ptr_write_access.notrace.stderr b/tests/native-lib/pass/ptr_write_access.notrace.stderr
diff --git a/tests/native-lib/pass/ptr_write_access.rs b/tests/native-lib/pass/ptr_write_access.rs
@@ -1,3 +1,9 @@
+//revisions: trace notrace
+//@[trace] only-target: linux
+//@[trace] only-target: gnu
+//@[trace] only-target: x86
+//@[trace] only-on-host
+//@[trace] compile-flags: -Zmiri-native-lib-enable-tracing
 //@compile-flags: -Zmiri-permissive-provenance
 
 #![feature(box_as_ptr)]
