formalsec
/
smtml
/
326
45%
|
Ran
|
Jobs
1
|
Files
10
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 56.0% (+13.5%) from 42.497%
push
github
filipeom938 of 1675 relevant lines covered (56.0%)
11.62 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 9 |
42.86 |
7.94% | src/smtml/num.ml |
| 23 |
36.26 |
1.74% | src/smtml/value.ml |
| 94 |
79.25 |
23.63% | src/smtml/eval.ml |
| 113 |
33.41 |
3.84% | src/smtml/expr.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 326.1 | 10 |
56.0 |
GitHub Action Run |
