Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
App    Test    Results   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Class Tests Fail Error % Tests Success
M2MiniSATTest 101 101 0 0 0 0 88,466 100%
 
Tests Status Message
M2MiniSATTest.testJNH49M2MiniSATTest.testJNH49 1 PASS 0.0120,012
M2MiniSATTest.testJNH50M2MiniSATTest.testJNH50 1 PASS 0.0120,012
M2MiniSATTest.testHole6M2MiniSATTest.testHole6 1 PASS 0.0380,038
M2MiniSATTest.testHole7M2MiniSATTest.testHole7 1 PASS 0.4340,434
M2MiniSATTest.testHole8M2MiniSATTest.testHole8 1 PASS 2.3972,397
M2MiniSATTest.testHole9M2MiniSATTest.testHole9 1 PASS 83.1883,18
M2MiniSATTest.testJNH41M2MiniSATTest.testJNH41 1 PASS 0.0190,019
M2MiniSATTest.testJNH42M2MiniSATTest.testJNH42 1 PASS 0.0110,011
M2MiniSATTest.testJNH43M2MiniSATTest.testJNH43 1 PASS 0.0160,016
M2MiniSATTest.testJNH44M2MiniSATTest.testJNH44 1 PASS 0.0110,011
M2MiniSATTest.testJNH45M2MiniSATTest.testJNH45 1 PASS 0.0140,014
M2MiniSATTest.testJNH46M2MiniSATTest.testJNH46 1 PASS 0.0250,025
M2MiniSATTest.testJNH47M2MiniSATTest.testJNH47 1 PASS 0.0110,011
M2MiniSATTest.testJNH48M2MiniSATTest.testJNH48 1 PASS 0.0140,014
M2MiniSATTest.testJNH23M2MiniSATTest.testJNH23 1 PASS 0.0210,021
M2MiniSATTest.testJNH24M2MiniSATTest.testJNH24 1 PASS 0.0150,015
M2MiniSATTest.testJNH21M2MiniSATTest.testJNH21 1 PASS 0.0130,013
M2MiniSATTest.testJNH22M2MiniSATTest.testJNH22 1 PASS 0.0120,012
M2MiniSATTest.testJNH19M2MiniSATTest.testJNH19 1 PASS 0.0140,014
M2MiniSATTest.testJNH20M2MiniSATTest.testJNH20 1 PASS 0.0120,012
M2MiniSATTest.testJNH17M2MiniSATTest.testJNH17 1 PASS 0.0110,011
M2MiniSATTest.testJNH18M2MiniSATTest.testJNH18 1 PASS 0.0130,013
M2MiniSATTest.testJNH15M2MiniSATTest.testJNH15 1 PASS 0.0590,059
M2MiniSATTest.testJNH16M2MiniSATTest.testJNH16 1 PASS 0.0690,069
M2MiniSATTest.testJNH13M2MiniSATTest.testJNH13 1 PASS 0.0130,013
M2MiniSATTest.testJNH14M2MiniSATTest.testJNH14 1 PASS 0.0120,012
M2MiniSATTest.testJNH11M2MiniSATTest.testJNH11 1 PASS 0.0140,014
M2MiniSATTest.testJNH12M2MiniSATTest.testJNH12 1 PASS 0.0120,012
M2MiniSATTest.testJNH9M2MiniSATTest.testJNH9 1 PASS 0.0120,012
M2MiniSATTest.testJNH10M2MiniSATTest.testJNH10 1 PASS 0.0130,013
M2MiniSATTest.testJNH40M2MiniSATTest.testJNH40 1 PASS 0.020,02
M2MiniSATTest.testJNH39M2MiniSATTest.testJNH39 1 PASS 0.0140,014
M2MiniSATTest.testJNH38M2MiniSATTest.testJNH38 1 PASS 0.0120,012
M2MiniSATTest.testJNH37M2MiniSATTest.testJNH37 1 PASS 0.0140,014
M2MiniSATTest.testJNH36M2MiniSATTest.testJNH36 1 PASS 0.0140,014
M2MiniSATTest.testJNH35M2MiniSATTest.testJNH35 1 PASS 0.0120,012
M2MiniSATTest.testJNH34M2MiniSATTest.testJNH34 1 PASS 0.0140,014
M2MiniSATTest.testJNH33M2MiniSATTest.testJNH33 1 PASS 0.0120,012
M2MiniSATTest.testJNH32M2MiniSATTest.testJNH32 1 PASS 0.0160,016
M2MiniSATTest.testJNH31M2MiniSATTest.testJNH31 1 PASS 0.0130,013
M2MiniSATTest.testJNH30M2MiniSATTest.testJNH30 1 PASS 0.0110,011
M2MiniSATTest.testJNH29M2MiniSATTest.testJNH29 1 PASS 0.0120,012
M2MiniSATTest.testJNH28M2MiniSATTest.testJNH28 1 PASS 0.0150,015
M2MiniSATTest.testJNH27M2MiniSATTest.testJNH27 1 PASS 0.0110,011
M2MiniSATTest.testJNH26M2MiniSATTest.testJNH26 1 PASS 0.0150,015
M2MiniSATTest.testJNH25M2MiniSATTest.testJNH25 1 PASS 0.0140,014
M2MiniSATTest.testIi12M2MiniSATTest.testIi12 1 PASS 0.0330,033
M2MiniSATTest.testIi13M2MiniSATTest.testIi13 1 PASS 0.0210,021
M2MiniSATTest.testIi14M2MiniSATTest.testIi14 1 PASS 0.0340,034
M2MiniSATTest.testIi15M2MiniSATTest.testIi15 1 PASS 0.1940,194
M2MiniSATTest.testIi8M2MiniSATTest.testIi8 1 PASS 0.0420,042
M2MiniSATTest.testIi9M2MiniSATTest.testIi9 1 PASS 0.0220,022
M2MiniSATTest.testIi10M2MiniSATTest.testIi10 1 PASS 0.0320,032
M2MiniSATTest.testIi11M2MiniSATTest.testIi11 1 PASS 0.0210,021
M2MiniSATTest.testIi4M2MiniSATTest.testIi4 1 PASS 0.020,02
M2MiniSATTest.testIi5M2MiniSATTest.testIi5 1 PASS 0.0150,015
M2MiniSATTest.testIi6M2MiniSATTest.testIi6 1 PASS 0.0230,023
M2MiniSATTest.testIi7M2MiniSATTest.testIi7 1 PASS 0.030,03
M2MiniSATTest.testAim50UNSAT8M2MiniSATTest.testAim50UNSAT8 1 PASS 0.00700,007
M2MiniSATTest.testIi1M2MiniSATTest.testIi1 1 PASS 0.00700,007
M2MiniSATTest.testIi2M2MiniSATTest.testIi2 1 PASS 0.010,01
M2MiniSATTest.testIi3M2MiniSATTest.testIi3 1 PASS 0.0140,014
M2MiniSATTest.testJNH6M2MiniSATTest.testJNH6 1 PASS 0.0160,016
M2MiniSATTest.testJNH5M2MiniSATTest.testJNH5 1 PASS 0.0170,017
M2MiniSATTest.testJNH8M2MiniSATTest.testJNH8 1 PASS 0.0130,013
M2MiniSATTest.testJNH7M2MiniSATTest.testJNH7 1 PASS 0.0130,013
M2MiniSATTest.testJNH2M2MiniSATTest.testJNH2 1 PASS 0.0120,012
M2MiniSATTest.testJNH1M2MiniSATTest.testJNH1 1 PASS 0.0120,012
M2MiniSATTest.testJNH4M2MiniSATTest.testJNH4 1 PASS 0.0130,013
M2MiniSATTest.testJNH3M2MiniSATTest.testJNH3 1 PASS 0.0210,021
M2MiniSATTest.testIi22M2MiniSATTest.testIi22 1 PASS 0.0710,071
M2MiniSATTest.testIi21M2MiniSATTest.testIi21 1 PASS 0.0940,094
M2MiniSATTest.testIi24M2MiniSATTest.testIi24 1 PASS 0.0660,066
M2MiniSATTest.testIi23M2MiniSATTest.testIi23 1 PASS 0.1030,103
M2MiniSATTest.testIi17M2MiniSATTest.testIi17 1 PASS 0.1170,117
M2MiniSATTest.testIi16M2MiniSATTest.testIi16 1 PASS 0.1130,113
M2MiniSATTest.testIi20M2MiniSATTest.testIi20 1 PASS 0.1160,116
M2MiniSATTest.testIi18M2MiniSATTest.testIi18 1 PASS 0.0750,075
M2MiniSATTest.testAim50SAT12M2MiniSATTest.testAim50SAT12 1 PASS 0.0110,011
M2MiniSATTest.testAim50SAT13M2MiniSATTest.testAim50SAT13 1 PASS 0.0130,013
M2MiniSATTest.testAim50SAT14M2MiniSATTest.testAim50SAT14 1 PASS 0.00900,009
M2MiniSATTest.testAim50SAT15M2MiniSATTest.testAim50SAT15 1 PASS 0.00900,009
M2MiniSATTest.testAim50SAT8M2MiniSATTest.testAim50SAT8 1 PASS 0.00900,009
M2MiniSATTest.testAim50SAT9M2MiniSATTest.testAim50SAT9 1 PASS 0.0130,013
M2MiniSATTest.testAim50SAT10M2MiniSATTest.testAim50SAT10 1 PASS 0.00900,009
M2MiniSATTest.testAim50SAT11M2MiniSATTest.testAim50SAT11 1 PASS 0.00900,009
M2MiniSATTest.testAim50UNSAT4M2MiniSATTest.testAim50UNSAT4 1 PASS 0.00700,007
M2MiniSATTest.testAim50UNSAT5M2MiniSATTest.testAim50UNSAT5 1 PASS 0.00700,007
M2MiniSATTest.testAim50UNSAT6M2MiniSATTest.testAim50UNSAT6 1 PASS 0.00700,007
M2MiniSATTest.testAim50UNSAT7M2MiniSATTest.testAim50UNSAT7 1 PASS 0.00700,007
M2MiniSATTest.testAim50SAT16M2MiniSATTest.testAim50SAT16 1 PASS 0.00900,009
M2MiniSATTest.testAim50UNSAT1M2MiniSATTest.testAim50UNSAT1 1 PASS 0.00700,007
M2MiniSATTest.testAim50UNSAT2M2MiniSATTest.testAim50UNSAT2 1 PASS 0.00700,007
M2MiniSATTest.testAim50UNSAT3M2MiniSATTest.testAim50UNSAT3 1 PASS 0.00800,008
M2MiniSATTest.testAim50SAT5M2MiniSATTest.testAim50SAT5 1 PASS 0.0170,017
M2MiniSATTest.testAim50SAT4M2MiniSATTest.testAim50SAT4 1 PASS 0.0170,017
M2MiniSATTest.testAim50SAT7M2MiniSATTest.testAim50SAT7 1 PASS 0.0110,011
M2MiniSATTest.testAim50SAT6M2MiniSATTest.testAim50SAT6 1 PASS 0.0120,012
M2MiniSATTest.testAim50SAT1M2MiniSATTest.testAim50SAT1 1 PASS 0.1150,115
M2MiniSATTest.testAim50SAT3M2MiniSATTest.testAim50SAT3 1 PASS 0.0110,011
M2MiniSATTest.testAim50SAT2M2MiniSATTest.testAim50SAT2 1 PASS 0.0170,017
 
CloverReport generated by Clover Code Coverage v2.0a5
mer. juin 27 2007 07:27:33 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 5 day(s) before your Beta Tester License expires.