456
83%
master: 84%

Ran 23 Oct 2019 02:40AM UTC

Jobs 1

Files 159

Run time 8s

Badge

Embed ▾

pending completion

Build # 456

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	456.1	23 Oct 2019 02:40AM UTC	0	84.38	Travis Job 456.1

Source Files on build 456

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 456

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 456

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

README BADGES
x