formalsec / smtml / 285 / 1
45%
main: 45%

DEFAULT BRANCH: main
Ran
Files 38
Run time 242min
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.1

push

github

filipeom 
optimize Expr.equal, cache Expr.simplify

1578 of 3284 relevant lines covered (48.05%)

32.99 hits per line

Source Files on job 285.1