formalsec
/
smtml
/
321
45%
|
Ran
|
Jobs
1
|
Files
9
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 42.428% (-7.8%) from 50.195%
push
github
filipeom720 of 1697 relevant lines covered (42.43%)
7.49 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
34.92 |
-3.17% | src/smtml/num.ml |
| 3 |
55.62 |
-0.44% | src/smtml/eval.ml |
| 6 |
34.52 |
-7.14% | src/smtml/value.ml |
| 9 |
49.38 |
-11.11% | src/smtml/model.ml |
| 9 |
39.47 |
-23.68% | src/smtml/symbol.ml |
| 24 |
29.07 |
-5.21% | src/smtml/expr.ml |
| 39 |
35.06 |
-14.39% | src/smtml/ty.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 321.1 | 9 |
42.43 |
GitHub Action Run |
