5
65%
master: 65%

Ran 16 Feb 2021 06:09PM UTC

Files 470

Run time 1min

Badge

Committed 16 Feb 2021 04:58PM UTC coverage: 65.574%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #348 from kquick/yices_abort

Adds --abort-on-int cmdline flag to yices executable.

Run Details

75832 of 115644 relevant lines covered (65.57%)

1522421.44 hits per line