formalsec / smtml / 587
42%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 53
Run time 1min
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: 41.059% (+0.2%) from 40.865%
587

push

github

hra687261 
Properly show array type in typed interface + fix tests

6 of 12 new or added lines in 1 file covered. (50.0%)

611 existing lines in 9 files now uncovered.

2558 of 6230 relevant lines covered (41.06%)

36.84 hits per line

Uncovered Changes

Lines Coverage ∆ File
6
64.12
0.09% src/smtml/rewrite.ml

Coverage Regressions

Lines Coverage ∆ File
163
33.95
0.62% src/smtml/ty.ml
157
52.6
0.36% src/smtml/mappings.ml
87
45.29
0.93% src/smtml/smtlib.ml
84
58.23
-0.34% src/smtml/z3_mappings.ml
72
22.49
-0.27% src/smtml/dolmenexpr_to_expr.ml
25
1.3
-0.03% src/smtml/feature.ml
9
75.38
-0.23% src/smtml/eval.ml
7
64.12
0.09% src/smtml/rewrite.ml
7
7.22
0.06% src/smtml/typed.ml
Jobs
ID Job ID Ran Files Coverage
1 587.1 53
41.06
GitHub Action Run
Source Files on build 587