812
61%
master: 66%

Ran 17 May 2019 06:19AM UTC

Jobs 1

Files 408

Run time 20s

Badge

Build # 812

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

ID	Job ID	Ran	Files	Coverage
1	812.1	17 May 2019 06:19AM UTC	408	61.61	Travis Job 812.1