1
83%
master: 84%

Ran 23 Oct 2019 02:40AM UTC

Files 159

Run time 7s

Badge

Embed ▾

Committed 23 Oct 2019 02:33AM UTC coverage: 84.376%. First build

Job # 456.1

Build Type

push

travis-ci-com

Committed by

AntoniusW

Commit Message

Add options for initial phase settings; add atom dependency to VSIDS
with phase saving.

- CommandLineParser and SystemConfig accept initial phase settings.
- AtomChoiceRelation stores relation between ordinary atoms and the
  choice points that influence them.
- NaiveGrounder and ProgramAnalyzingGrounder provide AtomChoiceRelation.
- NoGoodGenerator fills AtomChoiceRelation.
- BranchingHeuristicFactory sets AtomChoiceRelation for
  VSIDSWithPhaseSaving.
- PhaseInitializerFactory provides different initial phase settings.
- VSIDSWithPhaseSaving uses AtomChoiceRelation for activity increments.
- SolverFactory sets chosen phase initializer.
- TrailAssignment considers initial phase value, if phase was not set.
- Tests set a phase initializer if needed.

Run Details

5568 of 6599 relevant lines covered (84.38%)

0.84 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 456.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 456.1

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

README BADGES
x