#4
56%
master: 55%

Ran 04 May 2015 03:44PM UTC

Jobs 1

Files 86

Run time 8s

Badge

Build # #4

Build Type

push

travis-ci

Committed by

Commit Message

tests: revise CMakeLists.txt files for nra and nra_ode dirs

Run Details

6199 of 11088 relevant lines covered (55.91%)

224789.13 hits per line

Lines	Coverage	File
3	100.0	/usr0/home/soonhok/work/dreal3/src/dsolvers/nra_solver.cpp
6	100.0	/usr0/home/soonhok/work/dreal3/src/contractor/contractor_capd4.cpp
7	100.0	/usr0/home/soonhok/work/dreal3/src/contractor/contractor_basic.cpp
8	100.0	/usr0/home/soonhok/work/dreal3/src/opensmt/api/OpenSMTContext.h

ID	Job ID	Ran	Files	Coverage
1	#4.1	04 May 2015 03:44PM UTC	0	55.91

Detailed source file information is not available for this build.