4
83%
master: 84%

Ran 06 May 2020 02:07AM UTC

Files 166

Run time 9s

Badge

Embed ▾

Committed 06 May 2020 02:00AM UTC coverage: 82.584%. First build

Job # 808.4

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Fix bug in computation of backjumping level for violated unary nogoods
in GroundConflictNoGoodLearner and related issue with erroneous storage
of conflicting out-of-order assignments in TrailAssignment.

Run Details

5605 of 6787 relevant lines covered (82.58%)

0.83 hits per line

alpha-asp / Alpha / 808 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 808.4

alpha-asp / Alpha / 808 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 808.4

alpha-asp / Alpha / 808 / 4
83%
master: 84%

README BADGES
x