2
80%
master: 83%

Ran 17 Sep 2018 09:09PM UTC

Files 78

Run time 56s

Badge

Embed ▾

Committed 17 Sep 2018 09:02PM UTC coverage: 80.056%. First build

Job # CANDY_MODE=COVERAGE

Build Type

push

travis-ci

Committed by

Udopia

Commit Message

started untangling of the SimpSolver\n towards a proper simplification module\n need to introduce materialized unit-clauses first to get rid of all the workarounds coming in with implicit unit-clauses\n need to get rid of the 'too fancy' clause allocation model

Run Details

4010 of 5009 relevant lines covered (80.06%)

562310.3 hits per line

Udopia / candy-kingdom / 260 / 2
80%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 260.2 (CANDY_MODE=COVERAGE)

Udopia / candy-kingdom / 260 / 2 80% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 260.2 (CANDY_MODE=COVERAGE)

Udopia / candy-kingdom / 260 / 2
80%
master: 83%

README BADGES
x