Ran
|
Jobs
1
|
Files
36
|
Run time
1min
|
Badge
README BADGES
|
push
github
1531 of 3227 relevant lines covered (47.44%)
32.57 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
93.75 |
-6.25% | bin/options.ml |
3 |
55.56 |
16.08% | bin/main.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 265.1 | 36 |
47.44 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | bin/cmd_to_smt2.ml | 15 | 7 | 0 | 7 | 0.0 | |
0.0 | src/ast/ast.ml | 57 | 23 | 0 | 23 | 0.0 | |
1.92 | src/altergo_mappings.ml | 403 | 156 | 3 | 153 | 70.0 | |
12.5 | src/solvers/solver_mode.ml | 21 | 8 | 1 | 7 | 21.0 | |
21.74 | src/solvers/solver_type.ml | 42 | 23 | 5 | 18 | 8.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 | |
41.67 | src/ast/value.ml | 118 | 72 | 30 | 42 | 57.0 | |
42.93 | src/ast/expr.ml | 689 | 396 | 170 | 226 | 177.0 | |
43.08 | bin/cmd_run.ml | 120 | 65 | 28 | 37 | 15.0 |