formalsec
/
smtml
/
175
54%
|
Ran
|
Jobs
1
|
Files
26
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 50.585% (+1.4%) from 49.176%
push
github
filipeom1125 of 2224 relevant lines covered (50.58%)
22.03 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
54.55 |
-9.09% | lib/symbol.ml |
| 4 |
6.02 |
-3.01% | lib/ty.ml |
| 5 |
28.3 |
-9.43% | lib/value.ml |
| 6 |
37.5 |
-25.0% | lib/model.ml |
| 57 |
45.45 |
12.86% | lib/expr.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 175.1 | 26 |
50.58 |
GitHub Action Run |
