formalsec / smtml / 597
42%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 54
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.822% (+0.08%) from 41.74%
597

push

github

hra687261 
Use atomic for recorded queries

0 of 9 new or added lines in 1 file covered. (0.0%)

130 existing lines in 5 files now uncovered.

2723 of 6511 relevant lines covered (41.82%)

38.26 hits per line

Uncovered Changes

Lines Coverage ∆ File
9
18.75
-2.68% src/smtml/utils.ml

Coverage Regressions

Lines Coverage ∆ File
84
8.55
6.22% src/smtml/smtzilla.ml
28
0.0
0.0% src/smtml/feature_extraction.ml
15
18.75
-2.68% src/smtml/utils.ml
2
66.67
10.42% src/smtml/solver_dispatcher.ml
1
31.25
7.11% src/smtml/solver_type.ml
Jobs
ID Job ID Ran Files Coverage
1 597.1 54
41.82
GitHub Action Run
Source Files on build 597