formalsec
/
smtml
/
274
45%
|
Ran
|
Jobs
1
|
Files
38
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 47.698% (+0.2%) from 47.539%
filipeomUncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
75.0 |
0.0% | src/params.ml |
| 5 |
56.79 |
0.0% | src/model.ml |
| 9 |
73.48 |
0.0% | src/parser.ml |
| 10 |
74.07 |
1.0% | src/lexer.ml |
| 17 |
50.72 |
0.12% | src/mappings.ml |
| 23 |
46.58 |
0.1% | src/solver.ml |
| 61 |
43.73 |
0.14% | src/expr.ml |
| 63 |
46.36 |
0.18% | src/smtlib.ml |
| 148 |
60.41 |
0.27% | src/eval.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 274.1 | 38 |
47.7 |
GitHub Action Run |
