alpha-asp / Alpha
85%
master: 84%

LAST BUILD BRANCH: weak_constraints
DEFAULT BRANCH: master
Repo Added
Files 217
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH issue211
branch: issue211
CHANGE BRANCH
x

628

Pull #220

travis-ci-com

web-flow 
Fix LitSet coverage check in justification analysis.

- Test whether an atom is excluded using all variables occurring in the
  unifier.
Pull Request #220: Fix bug in justification analysis, address issue #211.

13 of 13 new or added lines in 2 files covered. (100.0%)

5612 of 6588 relevant lines covered (85.19%)

0.85 hits per line

Relevant lines Covered
6588 RELEVANT LINES 5612 COVERED LINES
0.85 HITS PER LINE
Source Files on issue211
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
628 issue211 Fix LitSet coverage check in justification analysis. - Test whether an atom is excluded using all variables occurring in the unifier. Pull #220 web-flow travis-ci-com pending completion  
627 issue211 Fix LitSet coverage check in justification analysis. - Test whether an atom is excluded using all variables occurring in the unifier. push AntoniusW travis-ci-com pending completion  
612 issue211 Update copyright year. Pull #220 web-flow travis-ci-com pending completion  
611 issue211 Update copyright year. push AntoniusW travis-ci-com pending completion  
610 issue211 Address issue #211. - AnalyzeUnjustified uses more general atom to test for exclusion due to prior analysis, i.e., less atoms are (falsely) discarded. - Unifier can report which variables are mapped. Pull #220 web-flow travis-ci-com pending completion  
609 issue211 Address issue #211. - AnalyzeUnjustified uses more general atom to test for exclusion due to prior analysis, i.e., less atoms are (falsely) discarded. - Unifier can report which variables are mapped. push AntoniusW travis-ci-com pending completion  
See All Builds (1165)