Ran
|
Jobs
1
|
Files
33
|
Run time
1min
|
Badge
README BADGES
|
push
github
0 of 4 new or added lines in 1 file covered. (0.0%)
1537 of 3220 relevant lines covered (47.73%)
32.7 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
39.47 |
0.0% | bin/main.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 264.1 | 33 |
47.73 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/ast/ast.ml | 57 | 23 | 0 | 23 | 0.0 | |
1.92 | src/altergo_mappings.ml | 403 | 156 | 3 | 153 | 70.0 | |
22.08 | src/ast/ty.ml | 535 | 317 | 70 | 247 | 72.0 | |
30.51 | src/ast/num.ml | 98 | 59 | 18 | 41 | 43.0 | |
39.47 | bin/main.ml | 162 - 1 | 76 | 30 | 46 | 15.0 | |
40.0 | src/solvers/solver_dispatcher.ml | 51 | 25 | 10 | 15 | 16.0 | |
41.67 | src/ast/value.ml | 118 | 72 | 30 | 42 | 57.0 | |
42.93 | src/ast/expr.ml | 689 | 396 | 170 | 226 | 177.0 | |
46.19 | src/parser/smtlib.ml | 371 | 223 | 103 | 120 | 19.0 | |
46.48 | src/solvers/solver.ml | 191 | 71 | 33 | 38 | 19.0 |