260
80%
master: 83%

Ran 17 Sep 2018 09:09PM UTC

Jobs 1

Files 78

Run time 1min

Badge

Embed ▾

pending completion

Build # 260

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

Jobs

ID	Job ID	Ran	Files	Coverage
2	260.2 (CANDY_MODE=COVERAGE)	17 Sep 2018 09:09PM UTC	0	80.06	Travis Job 260.2

Source Files on build 260

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 260

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 260

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

README BADGES
x