1
85%
master: 84%

Ran 15 Feb 2020 08:13PM UTC

Files 159

Run time 9s

Badge

Committed 15 Feb 2020 07:44PM UTC coverage: 85.185% (+0.07%) from 85.115%

Job # 628.1

Build Type

travis-ci-com

Committed by

Commit Message

Fix LitSet coverage check in justification analysis.

- Test whether an atom is excluded using all variables occurring in the
  unifier.

Run Details

5612 of 6588 relevant lines covered (85.19%)

0.85 hits per line