474
83%
master: 84%

Ran 12 Nov 2019 03:52AM UTC

Jobs 1

Files 160

Run time 20s

Badge

Embed ▾

pending completion

Build # 474

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Make AtomChoiceRelation a mandatory Grounder component.

- Move getAtomChoiceRelation() from NaiveGrounder to Grounder, implement
  method also in DummyGrounder and ChoiceGrounder.
- HeapOfActiveAtoms keeps track of literals occurring in the heap.
- More logging stats from VSIDSWithPhaseSaving.
- ChoiceInfluenceManager: simplified callbackOnChange

Run Details

5629 of 6634 relevant lines covered (84.85%)

0.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	474.1	12 Nov 2019 03:52AM UTC	0	84.85	Travis Job 474.1

Source Files on build 474

Detailed source file information is not available for this build.

alpha-asp / Alpha / 474
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 474

alpha-asp / Alpha / 474 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 474

alpha-asp / Alpha / 474
83%
master: 84%

README BADGES
x