diff options
| author | Oli Scherer <github35764891676564198441@oli-obk.de> | 2025-07-19 11:06:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-19 11:06:58 +0000 |
| commit | 1f15460173bfc612b2ffa3ce5e5a2b3d26172c8b (patch) | |
| tree | 2ee7b017358e138bed77220b9b64e062a2f87d3a /tests/codegen/async-closure-debug.rs | |
| parent | eef454f89be3c48ba9ef3853054b16c800eabefc (diff) | |
| parent | 4aa437600818b515d19ec4967005ad5344062734 (diff) | |
| download | rust-1f15460173bfc612b2ffa3ce5e5a2b3d26172c8b.tar.gz rust-1f15460173bfc612b2ffa3ce5e5a2b3d26172c8b.zip | |
Merge pull request #4480 from RalfJung/no-extra-rounding-error
add -Zmiri-no-extra-rounding-error to specifically disable just that part of float-nondet
Diffstat (limited to 'tests/codegen/async-closure-debug.rs')
0 files changed, 0 insertions, 0 deletions