formalsec
/
smtml
/
309
45%
|
Ran
|
Jobs
1
|
Files
37
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 48.166% (-1.0%) from 49.165%
push
github
filipeom1589 of 3299 relevant lines covered (48.17%)
32.75 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 29 |
26.02 |
-0.9% | src/smtml/ty.ml |
| 74 |
34.27 |
-0.45% | src/smtml/expr.ml |
| 220 |
55.45 |
-4.81% | src/smtml/eval.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 309.1 | 37 |
48.17 |
GitHub Action Run |
