formalsec
/
smtml
/
409
45%
|
Ran
|
Jobs
1
|
Files
13
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 51.566% (-2.2%) from 53.755%
push
github
filipeom21 of 68 new or added lines in 5 files covered. (30.88%)
988 of 1916 relevant lines covered (51.57%)
10.6 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
34.38 |
2.75% | src/smtml/expr.ml |
| 5 |
32.26 |
src/smtml/ast.ml | |
| 6 |
34.69 |
-1.57% | src/smtml/value.ml |
| 35 |
34.57 |
-2.85% | src/smtml/ty.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 409.1 | 13 |
51.57 |
GitHub Action Run |
