Update miri-script/src/main.rs

Mandragorian · RalfJung · RalfJung · commit d12597ff7b41 · 2024-12-14T09:39:19.000+01:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/tools/miri/miri-script/src/main.rs b/src/tools/miri/miri-script/src/main.rs
@@ -156,6 +156,8 @@ pub struct Cli {
 }
 
 fn main() -> Result<()> {
+    /// Split the arguments into the part before the `--` and the part after.
+    /// The `--` itself ends up in the second part.
     let miri_args: Vec<_> = std::env::args().take_while(|x| *x != "--").collect();
     let remainder: Vec<_> = std::env::args().skip_while(|x| *x != "--").collect();
 

Original file line number	Diff line number	Diff line change
`@@ -156,6 +156,8 @@ pub struct Cli {`
`156`	`156`	`}`
`157`	`157`
`158`	`158`	`fn main() -> Result<()> {`
	`159`	+ /// Split the arguments into the part before the `--` and the part after.
	`160`	+ /// The `--` itself ends up in the second part.
`159`	`161`	`let miri_args: Vec<_> = std::env::args().take_while(\|x\| *x != "--").collect();`
`160`	`162`	`let remainder: Vec<_> = std::env::args().skip_while(\|x\| *x != "--").collect();`
`161`	`163`