1
83%
master: 84%

Ran 24 Feb 2020 09:58PM UTC

Files 163

Run time 29s

Badge

Embed ▾

Committed 24 Feb 2020 09:46PM UTC coverage: 85.16% (+0.5%) from 84.629%

Job # 669.1

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Rework completion configuration; improve rules deriving atom detection;
enable completion/justification at conflict after closing by default.

- CommandLineParser allows disabling of backwards completion.
- ProgramAnalysis computes rules actually unifying with given head atom.
- CompletionConfiguration ensures completion is enabled if specific one
  is set to be enabled.
- CompletionGenerator respects completion settings, records completed
  atoms and reports them upon request.
- GrounderFactory forwards CompletionConfiguration.
- NaiveGrounder forwards completed atoms, has CompletionConfiguration.
- NoGoodGenerator bug fixed.
- ProgramAnalyzingGrounder interface extended for newly completed atoms.
- DefaultSolver respects completion configuration; tries to complete all
  MBT-assigned atoms; at conflict after closing completion/justification
  also runs now.
- Alpha forwards parsed CompletionConfiguration to GrounderFactory.
- CompletionConfiguration used in NaiveGrounderTest and AggregatesTest.

Run Details

5922 of 6954 relevant lines covered (85.16%)

0.85 hits per line

alpha-asp / Alpha / 669 / 1
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 669.1

alpha-asp / Alpha / 669 / 1 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 669.1

alpha-asp / Alpha / 669 / 1
83%
master: 84%

README BADGES
x