form-dev / form

50%

master: 54%

LAST BUILD ON BRANCH flintv2

branch: flintv2

CHANGE BRANCH

x

Reset

• flintv2
• 4.3
• PrintFloat
• StartFloat
• actions-cond-valgrind
• backtrace
• badges
• chainin-symm
• ci-setup-build-action
• ci-windows-2022
• ci/build-arm64-windows
• ci/deploy-enable-flint
• cmp-counter
• comp-native
• endsort-leak
• evaluate-fun
• factarg-vec
• findloop-replaceloop
• fix-649
• fix-endsort
• fix-issue-646
• fix-issue-695
• flint-cleanup
• flint-reserve
• float-tests
• formlib
• humanstats
• humanstats-test
• inside-dollar
• intohide
• make-dollar-warning-default
• master
• polynomial-tests
• pr/flint-version-check
• putfirst-neg
• repeat-sum
• series-tst
• stdint
• test-color
• test-coverage-fixes
• test-extra-cov-fix
• timeout
• timeout-fix
• transform-noargs
• void

Build # 15638559483

Build Type

Pull #650

github

Committed by web-flow

Commit Message

Merge 9c4c792d4 into 60c0ae194

Pull Request Pull Request #650: [flint] fix flint interface for macOS

Run Details

11 of 11 new or added lines in 1 file covered. (100.0%)

10 existing lines in 1 file now uncovered.

41788 of 82939 relevant lines covered (50.38%)

2640574.28 hits per line