12
36%
master: 36%

Ran 11 Jul 2016 01:55PM UTC

Files 140

Run time 9s

Badge

Committed 21 Dec 2014 03:37PM UTC coverage: 80.53% (+23.2%) from 57.32%

Build Type

push

travis-ci

Committed by

Commit Message

Set built_system in case we are not using cryptominisat

This way, we don't enter a loop

Run Details

1642 of 2039 relevant lines covered (80.53%)

1.9 hits per line