959
74%
master: 71%

Ran 16 May 2016 03:28AM CUT

Jobs 1

Files 89

Run time 5s

Badge

Build # 959

Build Type

push

travis-ci

Committed by

Commit Message

add build script for SMT-COMP submission

Run Details

9692 of 12955 relevant lines covered (74.81%)

1.42 hits per line

ID	Job ID	Ran	Files	Coverage
2	959.2 (CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1)	16 May 2016 03:28AM CUT	89	74.81	Travis Job 959.2

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/ToySolver/Arith/OmegaTest.hs	79	15	0	15	0.0
0.0	dist/build/autogen/Paths_toysolver.hs	36	15	0	15	0.0
1.06	src/ToySolver/Data/MIP/Base.hs	293	94	1	93	2.0
2.63	src/ToySolver/Text/QDimacs.hs	130	38	1	37	1.0
3.09	src/ToySolver/Text/MaxSAT.hs	211	97	3	94	2.0
25.37	src/ToySolver/SAT/PBO/BCD.hs	137	67	17	50	1.0
37.5	src/ToySolver/Data/DNF.hs	39	8	3	5	2.0
39.53	src/ToySolver/Data/MIP/LPFile.hs	702	425	168	257	1.0
40.04	src/ToySolver/Data/MIP/MPSFile.hs	875	512	205	307	1.0
41.86	src/ToySolver/Data/OrdRel.hs	138	43	18	25	2.0
42.5	src/ToySolver/Data/Boolean.hs	122	40	17	23	1.0

Showing 1 to 10 of 89 entries