959
66%

Ran 27 Aug 2019 11:09PM UTC

Jobs 1

Files 410

Run time 1min

Badge

Build # 959

Build Type

travis-ci

Committed by

Commit Message

Build the static_libyices_dynamic target again.

Run Details

60826 of 99412 relevant lines covered (61.19%)

1195479.13 hits per line

Lines	Coverage	∆	File
82	0.0	0.0%	src/solvers/cdcl/delegate.c
97	36.23	-1.12%	src/frontend/yices_smt2.c
853	0.0	0.0%	src/solvers/cdcl/new_sat_solver.c

ID	Job ID	Ran	Files	Coverage
1	959.1	27 Aug 2019 11:09PM UTC	410	61.19	Travis Job 959.1