add a comment

RalfJung · web-flow · commit 00644c12ed77 · 2024-05-30T10:23:54.000+02:00
diff --git a/src/tools/miri/test-cargo-miri/test-local-crate-detection/src/main.rs b/src/tools/miri/test-cargo-miri/test-local-crate-detection/src/main.rs
@@ -1,3 +1,5 @@
 fn main() {
+    // Make sure we detect all crates from this workspace as "local".
+    // The env var is set during the "build" so we can use `env!` to access it directly.
     println!("{}", env!("MIRI_LOCAL_CRATES"));
 }

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
`1`	`1`	`fn main() {`
	`2`	`+ // Make sure we detect all crates from this workspace as "local".`
	`3`	+ // The env var is set during the "build" so we can use `env!` to access it directly.
`2`	`4`	`println!("{}", env!("MIRI_LOCAL_CRATES"));`
`3`	`5`	`}`