formalsec / whilloc
48%

DEFAULT BRANCH: main
Repo Added
Files 35
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 47.653% (-0.06%) from 47.716%
50

push

github

filipeom 
Promote test

Mostly changes due to expression simplification

1218 of 2556 relevant lines covered (47.65%)

979.6 hits per line

Relevant lines Covered
2556 RELEVANT LINES 1218 COVERED LINES
979.6 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
50 main Promote test Mostly changes due to expression simplification push filipeom github
47.65
48 main fix tests (closes #20) push julianayang777 github
47.72
46 main Adds `bisect_ppx` instrumentation to measure tests code coverage push filipeom github
47.52
See All Builds (7)