1
99%
master: 100%

Ran 26 Mar 2019 09:17PM UTC

Files 1

Run time 0s

Badge

Committed 26 Mar 2019 09:13PM UTC coverage: 98.887% (+0.06%) from 98.826%

Job # 186.1

Build Type

travis-ci

Committed by

Commit Message

fix: Improve performance of isSatisfiable function

Run Details

457 of 480 branches covered (95.21%)

622 of 629 relevant lines covered (98.89%)

724.47 hits per line