14
36%
master: 36%

Ran 08 May 2017 12:34AM UTC

Files 103

Run time 5s

Badge

Committed 07 May 2017 10:28PM UTC coverage: 56.325% (+0.01%) from 56.314%

Build Type

push

travis-ci

Committed by

Commit Message

Memsetting becasue clang 4.0 picks up jump based on unset mem

It's weird, and this is slowing down the solver, but it's the best we
can do.

Run Details

7342 of 13035 relevant lines covered (56.33%)

152718.81 hits per line