847
36%

Ran 24 Jun 2015 01:30AM UTC

Jobs 1

Files 90

Run time 8s

Badge

Build # 847

Build Type

push

travis-ci

Committed by

Commit Message

No more perf recording

Run Details

7880 of 12914 relevant lines covered (61.02%)

1261979.41 hits per line

Lines	Coverage	File
1	100.0	cryptominisat4/subsumeimplicit.h
1	100.0	cryptominisat4/searcher.cpp
1	100.0	cryptominisat4/cnf.cpp
2	100.0	cryptominisat4/implcache.h
2	100.0	cryptominisat4/simplifier.cpp
2	100.0	cryptominisat4/reducedb.cpp
4	100.0	cryptominisat4/subsumestrengthen.cpp
6	100.0	cryptominisat4/subsumeimplicit.cpp
9	100.0	cryptominisat4/implcache.cpp
10	100.0	cryptominisat4/propengine.cpp

ID	Job ID	Ran	Files	Coverage
15	847.15 (CMS_CONFIG=COVERAGE)	24 Jun 2015 01:30AM UTC	0	61.02	Travis Job 847.15

Detailed source file information is not available for this build.