62
66%
master: 66%

Ran 19 Jun 2017 01:41PM UTC

Jobs 1

Files 379

Run time 21s

Badge

Build # 62

Build Type

push

travis-ci

Committed by

Commit Message

Added declare-sort and define-sort to the SMT2 frontend

Run Details

15 of 15 new or added lines in 1 file covered. (100.0%)

58953 of 89056 relevant lines covered (66.2%)

963444.64 hits per line

Lines	Coverage	∆	File
15	63.89		src/frontend/smt2/smt2_parser.c

ID	Job ID	Ran	Files	Coverage
1	62.1	19 Jun 2017 01:41PM UTC	379	66.2	Travis Job 62.1

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line