1
61%
master: 65%

Ran 17 May 2019 06:19AM UTC

Files 408

Run time 19s

Badge

Committed 17 May 2019 06:09AM UTC coverage: 61.61% (-0.06%) from 61.67%

Job # 812.1

Build Type

push

travis-ci

Committed by

Commit Message

Supports models in SMT-LIB 2 format (for basic types).

This is enabled via a command-line option to yices-smt2.
Need more testing.

Run Details

59972 of 97341 relevant lines covered (61.61%)

1181073.46 hits per line