3
38%
master: 36%

Ran 25 Jul 2017 01:15PM UTC

Files 931

Run time 106min

Badge

Committed 25 Jul 2017 01:07PM UTC coverage: 38.073% (-0.004%) from 38.077%

Build Type

push

travis-ci

Committed by

Commit Message

- fixing variable creating in bmc
- enabling mcsat in yices2 when passed the right option

Run Details

5237 of 13755 relevant lines covered (38.07%)

14757.52 hits per line