formalsec
/
smtml
/
312
45%
|
Ran
|
Jobs
1
|
Files
37
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 47.919% (-0.2%) from 48.166%
push
github
filipeom1589 of 3316 relevant lines covered (47.92%)
32.58 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 51 |
25.83 |
-0.19% | src/smtml/ty.ml |
| 80 |
50.57 |
-1.06% | src/smtml/mappings.ml |
| 122 |
54.95 |
-0.51% | src/smtml/eval.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 312.1 | 37 |
47.92 |
GitHub Action Run |
