3
36%
master: 36%

Ran 15 Sep 2020 10:42PM UTC

Files 1886

Run time 5min

Badge

Committed 15 Sep 2020 10:29PM UTC coverage: 38.25% (+0.2%) from 38.025%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #67 from SRI-CSL/mcsat-interpolation

enable yices2 interpolation

Run Details

6245 of 16327 relevant lines covered (38.25%)

18264.95 hits per line