diff options
| author | Ralf Jung <post@ralfj.de> | 2023-10-08 12:03:01 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-10-08 20:35:46 +0200 |
| commit | 6796c5765d7b52271cd09ab977cb617ee3971a3a (patch) | |
| tree | 01c142e4e604df2dab1724493b5d230552d61c81 /compiler/rustc_codegen_gcc | |
| parent | d087c6fae215484bf47ba6dda1bc836ef4c07ac5 (diff) | |
| download | rust-6796c5765d7b52271cd09ab977cb617ee3971a3a.tar.gz rust-6796c5765d7b52271cd09ab977cb617ee3971a3a.zip | |
miri: make NaN generation non-deterministic
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions