|
Repo Added
|
Files
216
|
Badge
README BADGES
|
github
8228 of 8792 branches covered (93.59%)
Branch coverage included in aggregate %.
13926 of 14081 relevant lines covered (98.9%)
2613.71 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 30772089734 | jae/codegen-reject-unsatisfiable | Merge 9af0d54a7 into 628ab0597 | Pull #1207 | github |
96.86 |