formalsec
/
smtml
/
345
45%
|
Ran
|
Jobs
1
|
Files
10
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 55.2% (-0.6%) from 55.751%
push
github
filipeom950 of 1721 relevant lines covered (55.2%)
11.52 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.9 |
0.0% | src/smtml/eval.ml |
| 76 |
32.08 |
-0.07% | src/smtml/expr.ml |
| 117 |
39.1 |
-2.29% | src/smtml/ty.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 345.1 | 10 |
55.2 |
GitHub Action Run |
