3
84%
master: 84%

Ran 22 Mar 2018 05:18PM UTC

Files 103

Run time 5s

Badge

Committed 22 Mar 2018 05:12PM UTC coverage: 83.758% (+0.003%) from 83.755%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #123 from alpha-asp/fix/stats

 Fix statistics: do not count backtracks as choices

Run Details

3646 of 4353 relevant lines covered (83.76%)

0.84 hits per line