Skip to content

Commit 22044c8

Browse files
committed
Improve deterministic mode error message
1 parent 9243680 commit 22044c8

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

src/fn_call.rs

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -795,8 +795,10 @@ fn gen_random<'a, 'mir, 'tcx>(this: &mut MiriEvalContext<'a, 'mir, 'tcx>,
795795
}
796796
None => {
797797
err!(Unimplemented(
798-
"miri does not support random number generators in deterministic mode!
799-
Use '-Zmiri-seed=<seed>' to enable random number generation".to_owned(),
798+
"miri does not support gathering system entropy in deterministic mode!
799+
Use '-Zmiri-seed=<seed>' to enable random number generation.
800+
WARNING: Miri does *not* generate cryptographically secure entropy -
801+
do not use Miri to run any program that need secure random number generation".to_owned(),
800802
))
801803
}
802804
}

0 commit comments

Comments
 (0)