669
83%
master: 84%

Ran 24 Feb 2020 09:58PM UTC

Jobs 2

Files 163

Run time 14min

Badge

Embed ▾

pending completion

Build # 669

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	669.1	24 Feb 2020 09:58PM UTC	0	85.16	Travis Job 669.1
4	669.4	24 Feb 2020 10:12PM UTC	0	85.18	Travis Job 669.4

Source Files on build 669

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 669

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 669

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

README BADGES
x