formalsec / smtml / 285
45%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 38
Run time 342min
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
coverage: 48.051% (+0.05%) from 48.002%
285

push

github

filipeom 
optimize Expr.equal, cache Expr.simplify

8 of 9 new or added lines in 1 file covered. (88.89%)

1578 of 3284 relevant lines covered (48.05%)

32.99 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
44.61
 0.45% src/expr.ml
Jobs
ID Job ID Ran Files Coverage
1 285.1 38
48.05
 GitHub Action Run
Source Files on build 285