Skip to content

Add IEEE 754 TiesToAway rounding mode

5c62ecc
Select commit
Loading
Failed to load commit list.
Merged

Add IEEE 754 TiesToAway rounding mode #8515

Add IEEE 754 TiesToAway rounding mode
5c62ecc
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Feb 11, 2025 in 0s

79.14% (-0.46%) compared to 6957a04

View this Pull Request on Codecov

79.14% (-0.46%) compared to 6957a04

Details

Codecov Report

Attention: Patch coverage is 46.80851% with 25 lines in your changes missing coverage. Please review.

Project coverage is 79.14%. Comparing base (6957a04) to head (5c62ecc).

Files with missing lines Patch % Lines
src/solvers/smt2/smt2_conv.cpp 0.00% 8 Missing ⚠️
src/util/ieee_float.cpp 14.28% 6 Missing ⚠️
src/solvers/smt2/smt2_parser.cpp 33.33% 4 Missing ⚠️
src/solvers/floatbv/float_bv.cpp 66.66% 3 Missing ⚠️
src/solvers/floatbv/float_utils.h 72.72% 3 Missing ⚠️
src/solvers/floatbv/float_utils.cpp 83.33% 1 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff             @@
##           develop    #8515      +/-   ##
===========================================
- Coverage    79.60%   79.14%   -0.46%     
===========================================
  Files         1733     1733              
  Lines       197358   198512    +1154     
  Branches     18165    18173       +8     
===========================================
+ Hits        157111   157119       +8     
- Misses       40247    41393    +1146     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.