fix use of deprecated rand API

RalfJung · RalfJung · commit 9b0614040be6 · 2025-02-02T16:14:32.000+01:00
diff --git a/src/operator.rs b/src/operator.rs
@@ -120,6 +120,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
         let this = self.eval_context_ref();
         // Return one side non-deterministically.
         let mut rand = this.machine.rng.borrow_mut();
-        if rand.gen() { a } else { b }
+        if rand.random() { a } else { b }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -120,6 +120,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`120`	`120`	`let this = self.eval_context_ref();`
`121`	`121`	`// Return one side non-deterministically.`
`122`	`122`	`let mut rand = this.machine.rng.borrow_mut();`
`123`		`- if rand.gen() { a } else { b }`
	`123`	`+ if rand.random() { a } else { b }`
`124`	`124`	`}`
`125`	`125`	`}`