2174
36%

Ran 28 May 2018 08:38AM UTC

Jobs 1

Files 167

Run time 10s

Badge

Build # 2174

Build Type

push

travis-ci

Committed by

Commit Message

Fixing tests

Run Details

10498 of 18082 relevant lines covered (58.06%)

100135.53 hits per line

Lines	Coverage	∆	File
1	68.75	-1.56%	src/searcher.h
1	42.77	-0.6%	src/clausedumper.cpp
1	92.72	-0.66%	/usr/include/c++/4.8/bits/stl_vector.h
1	81.48	-1.23%	/usr/include/c++/4.8/bits/stl_bvector.h
2	65.74	-0.56%	src/cnf.cpp
3	89.55	-4.48%	src/stamp.cpp
4	74.07	-14.81%	src/stamp.h
4	77.97	-1.76%	/usr/include/c++/4.8/bits/vector.tcc
5	66.13	-4.84%	/usr/include/c++/4.8/bits/stl_algobase.h
6	51.96	-5.88%	src/str_impl_w_impl_stamp.cpp
7	79.18	-1.69%	src/hyperengine.cpp
7	50.0	-29.17%	src/implcache.h
9	85.59	-8.11%	src/sccfinder.cpp
10	45.83	-29.17%	src/solverconf.cpp
17	70.32	-4.9%	src/comphandler.cpp
32	53.11	-1.58%	src/solver.cpp
32	84.65	-0.07%	src/xorfinder.cpp
46	60.19	-11.03%	src/prober.cpp
143	17.99	-49.48%	src/implcache.cpp
306	47.25	-3.29%	src/searcher.cpp

ID	Job ID	Ran	Files	Coverage
23	2174.23 (CMS_CONFIG=COVERAGE)	28 May 2018 08:38AM UTC	167	58.06	Travis Job 2174.23