Udopia
/
candy-kingdom
83%
|
Repo Added
|
Files
81
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH master
coverage: 82.902%. Remained the same
Relevant lines Covered
5182
RELEVANT LINES
4296
COVERED LINES
2135224.1
HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 713 | master | fix-merge | push |  Udopia |
travis-ci |
82.9 |
|
| 710 | master | revisited variable elimination, increase stability in incremental mode | push | Udopia |
travis-ci |
82.9 |
|
| 707 | master | removed example | push | Udopia |
travis-ci |
76.96 |
|
| 705 | master | comment log-meassages | push | Udopia |
travis-ci |
83.8 |
|
| 703 | master | include drat-proof checker in integration-tests | push | Udopia |
travis-ci |
83.83 |
|
| 701 | master | removed dependency on drat-trim | push | Udopia |
travis-ci |
83.16 |
|
| 697 | master | reactivated variable-elimination for incremental mode | push | Udopia |
travis-ci |
84.83 |
|
| 692 | master | new fuzz targets ready | push | Udopia |
travis-ci |
82.35 |
|
| 690 | master | fuzzing ipasir | push | Udopia |
travis-ci |
82.31 |
|
| 688 | master | ipasir_failed basic tests | push | Udopia |
travis-ci |
82.3 |