formalsec / smtml / 555
45%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 52
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: 44.611% (-1.8%) from 46.445%
555

push

github

filipeom 
Use explicit result return in smtml parsing functions

It already bit me in the ass by not treating exceptions in injector.
With explicit types I'm forced to treat them and also it allows me to
use monadic syntax.

17 of 48 new or added lines in 9 files covered. (35.42%)

368 existing lines in 3 files now uncovered.

2384 of 5344 relevant lines covered (44.61%)

38.81 hits per line

Uncovered Changes

Lines Coverage ∆ File
11
55.43
 -5.06% src/smtml/model.ml
6
0.0
 0.0% src/bin/cmd_to_smt2.ml
4
39.19
 0.52% src/bin/cmd_run.ml
4
58.62
 10.23% src/smtml/parse.ml
3
23.31
 0.0% src/bin/cmd_smtzilla.ml
1
10.34
 0.0% src/smtml/logic.ml
1
12.5
 0.0% src/smtml/solver_mode.ml
1
24.14
 0.0% src/smtml/solver_type.ml

Coverage Regressions

Lines Coverage ∆ File
365
8.99
 -5.58% src/smtml/typed.ml
2
58.62
 10.23% src/smtml/parse.ml
1
50.39
 0.19% src/smtml/expr.ml
Jobs
ID Job ID Ran Files Coverage
1 555.1 52
44.61
 GitHub Action Run
Source Files on build 555