Clover Coverage Report

Coverage timestamp: mer. juin 27 2007 07:27:16 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for file Lits.java:
Stmts:	69	LOC:	227	Total cmp:	10	Stmts/Method:	2,76
Branches:	28	NCLOC:	150	Cmp density:	0,49	Methods/Class:	25
Methods:	25			Avg method cmp:	1,36
Classes:	1

Expand All

Lits

Line # 42

Total Statements 69

Complexity 10

TOTAL Coverage 64,8%

0.647541

Show Tests (194) Select All Deselect All
Highlight	Test Contribution	Test	Result
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH49 org.sat4j.minisat.AbstractM2Test.testJNH49	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH50 org.sat4j.minisat.AbstractM2Test.testJNH50	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testHole6 org.sat4j.minisat.AbstractM2Test.testHole6	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testHole7 org.sat4j.minisat.AbstractM2Test.testHole7	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testHole8 org.sat4j.minisat.AbstractM2Test.testHole8	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testHole9 org.sat4j.minisat.AbstractM2Test.testHole9	3 FAIL
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH41 org.sat4j.minisat.AbstractM2Test.testJNH41	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH42 org.sat4j.minisat.AbstractM2Test.testJNH42	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH43 org.sat4j.minisat.AbstractM2Test.testJNH43	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH44 org.sat4j.minisat.AbstractM2Test.testJNH44	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH45 org.sat4j.minisat.AbstractM2Test.testJNH45	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH46 org.sat4j.minisat.AbstractM2Test.testJNH46	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH47 org.sat4j.minisat.AbstractM2Test.testJNH47	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH48 org.sat4j.minisat.AbstractM2Test.testJNH48	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH23 org.sat4j.minisat.AbstractM2Test.testJNH23	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH24 org.sat4j.minisat.AbstractM2Test.testJNH24	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH21 org.sat4j.minisat.AbstractM2Test.testJNH21	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH22 org.sat4j.minisat.AbstractM2Test.testJNH22	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH19 org.sat4j.minisat.AbstractM2Test.testJNH19	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH20 org.sat4j.minisat.AbstractM2Test.testJNH20	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH17 org.sat4j.minisat.AbstractM2Test.testJNH17	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH18 org.sat4j.minisat.AbstractM2Test.testJNH18	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH15 org.sat4j.minisat.AbstractM2Test.testJNH15	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH16 org.sat4j.minisat.AbstractM2Test.testJNH16	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH13 org.sat4j.minisat.AbstractM2Test.testJNH13	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH14 org.sat4j.minisat.AbstractM2Test.testJNH14	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH11 org.sat4j.minisat.AbstractM2Test.testJNH11	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH12 org.sat4j.minisat.AbstractM2Test.testJNH12	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH9 org.sat4j.minisat.AbstractM2Test.testJNH9	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH10 org.sat4j.minisat.AbstractM2Test.testJNH10	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH40 org.sat4j.minisat.AbstractM2Test.testJNH40	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH39 org.sat4j.minisat.AbstractM2Test.testJNH39	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH38 org.sat4j.minisat.AbstractM2Test.testJNH38	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH37 org.sat4j.minisat.AbstractM2Test.testJNH37	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH36 org.sat4j.minisat.AbstractM2Test.testJNH36	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH35 org.sat4j.minisat.AbstractM2Test.testJNH35	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH34 org.sat4j.minisat.AbstractM2Test.testJNH34	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH33 org.sat4j.minisat.AbstractM2Test.testJNH33	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH32 org.sat4j.minisat.AbstractM2Test.testJNH32	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH31 org.sat4j.minisat.AbstractM2Test.testJNH31	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH30 org.sat4j.minisat.AbstractM2Test.testJNH30	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH29 org.sat4j.minisat.AbstractM2Test.testJNH29	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH28 org.sat4j.minisat.AbstractM2Test.testJNH28	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH27 org.sat4j.minisat.AbstractM2Test.testJNH27	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH26 org.sat4j.minisat.AbstractM2Test.testJNH26	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH25 org.sat4j.minisat.AbstractM2Test.testJNH25	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi12 org.sat4j.minisat.AbstractM2Test.testIi12	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi13 org.sat4j.minisat.AbstractM2Test.testIi13	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi14 org.sat4j.minisat.AbstractM2Test.testIi14	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi15 org.sat4j.minisat.AbstractM2Test.testIi15	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi8 org.sat4j.minisat.AbstractM2Test.testIi8	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi9 org.sat4j.minisat.AbstractM2Test.testIi9	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi10 org.sat4j.minisat.AbstractM2Test.testIi10	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi11 org.sat4j.minisat.AbstractM2Test.testIi11	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi4 org.sat4j.minisat.AbstractM2Test.testIi4	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi5 org.sat4j.minisat.AbstractM2Test.testIi5	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi6 org.sat4j.minisat.AbstractM2Test.testIi6	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi7 org.sat4j.minisat.AbstractM2Test.testIi7	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT8	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi1 org.sat4j.minisat.AbstractM2Test.testIi1	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi2 org.sat4j.minisat.AbstractM2Test.testIi2	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi3 org.sat4j.minisat.AbstractM2Test.testIi3	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH6 org.sat4j.minisat.AbstractM2Test.testJNH6	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH5 org.sat4j.minisat.AbstractM2Test.testJNH5	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH8 org.sat4j.minisat.AbstractM2Test.testJNH8	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH7 org.sat4j.minisat.AbstractM2Test.testJNH7	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH2 org.sat4j.minisat.AbstractM2Test.testJNH2	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH1 org.sat4j.minisat.AbstractM2Test.testJNH1	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH4 org.sat4j.minisat.AbstractM2Test.testJNH4	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testJNH3 org.sat4j.minisat.AbstractM2Test.testJNH3	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi22 org.sat4j.minisat.AbstractM2Test.testIi22	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi21 org.sat4j.minisat.AbstractM2Test.testIi21	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi24 org.sat4j.minisat.AbstractM2Test.testIi24	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi23 org.sat4j.minisat.AbstractM2Test.testIi23	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi17 org.sat4j.minisat.AbstractM2Test.testIi17	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi16 org.sat4j.minisat.AbstractM2Test.testIi16	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi20 org.sat4j.minisat.AbstractM2Test.testIi20	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testIi18 org.sat4j.minisat.AbstractM2Test.testIi18	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT12 org.sat4j.minisat.AbstractM2Test.testAim50SAT12	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT13 org.sat4j.minisat.AbstractM2Test.testAim50SAT13	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT14 org.sat4j.minisat.AbstractM2Test.testAim50SAT14	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT15 org.sat4j.minisat.AbstractM2Test.testAim50SAT15	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT8 org.sat4j.minisat.AbstractM2Test.testAim50SAT8	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT9 org.sat4j.minisat.AbstractM2Test.testAim50SAT9	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT10 org.sat4j.minisat.AbstractM2Test.testAim50SAT10	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT11 org.sat4j.minisat.AbstractM2Test.testAim50SAT11	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT4	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT5	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT6	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT7	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT16 org.sat4j.minisat.AbstractM2Test.testAim50SAT16	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT1	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT2	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3 org.sat4j.minisat.AbstractM2Test.testAim50UNSAT3	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT5 org.sat4j.minisat.AbstractM2Test.testAim50SAT5	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT4 org.sat4j.minisat.AbstractM2Test.testAim50SAT4	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT7 org.sat4j.minisat.AbstractM2Test.testAim50SAT7	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT6 org.sat4j.minisat.AbstractM2Test.testAim50SAT6	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT1 org.sat4j.minisat.AbstractM2Test.testAim50SAT1	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT3 org.sat4j.minisat.AbstractM2Test.testAim50SAT3	1 PASS
	0.6885246	org.sat4j.minisat.AbstractM2Test.testAim50SAT2 org.sat4j.minisat.AbstractM2Test.testAim50SAT2	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnc8 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnc8	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnb1 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnb1	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC432 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testnC432	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata103	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6 org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata83	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63 org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata63	1 PASS
	0.6803279	org.sat4j.minisat.constraints.AbstractPseudoBooleanAndPigeonHoleTest.testndata43