Skip to content

Verify floats#213

Merged
mborland merged 3 commits into
developfrom
verify_floats
Jun 10, 2026
Merged

Verify floats#213
mborland merged 3 commits into
developfrom
verify_floats

Conversation

@mborland

Copy link
Copy Markdown
Member

Closes: #205

@mborland mborland merged commit 0dd4994 into develop Jun 10, 2026
1 check was pending
@mborland mborland deleted the verify_floats branch June 10, 2026 13:26
@codecov

codecov Bot commented Jun 10, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.3%. Comparing base (9859384) to head (ea7b460).
⚠️ Report is 4 commits behind head on develop.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           develop    #213   +/-   ##
=======================================
  Coverage     97.3%   97.3%           
=======================================
  Files          192     192           
  Lines        14477   14477           
  Branches      5425    5425           
=======================================
  Hits         14078   14078           
  Misses         326     326           
  Partials        73      73           

Continue to review full report in Codecov by Harness.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9859384...ea7b460. Read the comment docs.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add Why3 verification of float behavior

1 participant