5
65%
master: 65%

Ran 06 Oct 2020 03:54AM UTC

Files 469

Run time 41s

Badge

Committed 06 Oct 2020 03:41AM UTC coverage: 65.111% (+65.1%) from 0.0%

Build Type

push

travis-ci

Committed by

Commit Message

Don't allow n-arry bvnand, bvnor, bvxnor in SMT-LIB2

Run Details

75062 of 115284 relevant lines covered (65.11%)

1429357.45 hits per line