formalsec
/
smtml
/
206
54%
|
Ran
|
Jobs
1
|
Files
27
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 51.338% (+4.5%) from 46.855%
push
github
filipeom1209 of 2355 relevant lines covered (51.34%)
24.12 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 15 |
35.71 |
7.41% | src/ast/value.ml |
| 26 |
54.83 |
8.62% | src/mappings.ml |
| 34 |
13.9 |
3.31% | src/ast/ty.ml |
| 80 |
43.61 |
0.92% | src/ast/expr.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 206.1 | 27 |
51.34 |
GitHub Action Run |
