Ran
|
Jobs
1
|
Files
38
|
Run time
1min
|
Badge
README BADGES
|
push
github
1531 of 3224 relevant lines covered (47.49%)
32.6 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
125 |
50.6 |
0.0% | src/mappings.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 266.1 | 38 |
47.49 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/ast.ml | 57 | 23 | 0 | 23 | 0.0 | |
0.0 | src/binder.ml | 15 | 6 | 0 | 6 | 0.0 | |
0.0 | bin/cmd_to_smt2.ml | 15 | 7 | 0 | 7 | 0.0 | |
1.92 | src/altergo_mappings.ml | 403 | 156 | 3 | 153 | 70.0 | |
8.93 | src/logic.ml | 88 | 56 | 5 | 51 | 2.0 | |
12.5 | src/solver_mode.ml | 21 | 8 | 1 | 7 | 21.0 | |
21.74 | src/solver_type.ml | 42 | 23 | 5 | 18 | 8.0 | |
25.19 | src/ty.ml | 455 | 258 | 65 | 193 | 77.0 | |
30.51 | src/num.ml | 98 | 59 | 18 | 41 | 43.0 | |
41.67 | src/value.ml | 118 | 72 | 30 | 42 | 57.0 |