formalsec
/
smtml
/
594
42%
|
Ran
|
Jobs
1
|
Files
54
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 41.74% (-0.03%) from 41.771%
push
github
hra6872612716 of 6507 relevant lines covered (41.74%)
38.24 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 136 |
74.67
|
-0.85% | src/smtml/eval.ml |
| 128 |
33.8
|
-1.48% | src/smtml/ty.ml |
| 125 |
52.41
|
-0.33% | src/smtml/expr.ml |
| 74 |
51.28
|
3.39% | src/smtml/value.ml |
| 25 |
53.8
|
0.09% | src/smtml/mappings.ml |
| 1 |
85.09
|
-0.88% | src/smtml/bitvector.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 594.1 | 54 |
41.74
|
GitHub Action Run |
