diff options
| author | Trevor Gross <tmgross@umich.edu> | 2025-02-11 07:45:14 +0000 |
|---|---|---|
| committer | Trevor Gross <t.gross35@gmail.com> | 2025-02-11 02:27:13 -0600 |
| commit | 7db47c741c173b94730b3017851924b1e7525dea (patch) | |
| tree | 562cceaf47067934b5f36b6720407c7510a269fe /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 53a055049cde50f6a42cf3cb5a7826142ea396e0 (diff) | |
| download | rust-7db47c741c173b94730b3017851924b1e7525dea.tar.gz rust-7db47c741c173b94730b3017851924b1e7525dea.zip | |
Check exact values for specified cases
Inputs in `case_list` shouldn't hit xfails or increased ULP tolerance. Ensure that overrides are skipped when testing against MPFR or a specified value and that NaNs, if any, are checked bitwise.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions