3
36%
master: 36%

Ran 22 May 2020 09:33PM UTC

Files 1950

Run time 2min

Badge

Committed 28 Apr 2020 07:54PM UTC coverage: 37.943%. Remained the same

Build Type

cron

travis-ci

Committed by

Commit Message

update yices cmake to check if it has support for MCSAT

Run Details

6138 of 16177 relevant lines covered (37.94%)

16112.16 hits per line