Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
11   52   1   2,75
0   24   0,36   4
4     1  
1    
 
  LboolTest       Line # 16 11 1 100% 1.0
 
  (3)
 
1    package org.sat4j.minisat.datatype;
2   
3    import junit.framework.TestCase;
4   
5    import org.sat4j.minisat.core.Lbool;
6   
7    /*
8    * Created on 2 nov. 2003
9    *
10    */
11   
12    /**
13    * @author leberre
14    *
15    */
 
16    public class LboolTest extends TestCase {
17   
18    /**
19    * Constructor for LboolTest.
20    *
21    * @param arg0
22    */
 
23  3 toggle public LboolTest(String arg0) {
24  3 super(arg0);
25    }
26   
 
27  1 toggle public void testNot() {
28  1 assertEquals(Lbool.FALSE, Lbool.TRUE.not());
29  1 assertEquals(Lbool.TRUE, Lbool.FALSE.not());
30  1 assertEquals(Lbool.UNDEFINED, Lbool.UNDEFINED.not());
31    }
32   
33    /*
34    * Test pour boolean equals(Object)
35    */
 
36  1 toggle public void testEqualsObject() {
37  1 assertEquals(Lbool.FALSE, Lbool.FALSE);
38  1 assertNotSame(Lbool.FALSE, Lbool.TRUE);
39  1 assertNotSame(Lbool.FALSE, Lbool.UNDEFINED);
40  1 assertNotSame(Lbool.TRUE, Lbool.UNDEFINED);
41    }
42   
43    /*
44    * Test pour String toString()
45    */
 
46  1 toggle public void testToString() {
47  1 assertEquals("U", Lbool.UNDEFINED.toString());
48  1 assertEquals("T", Lbool.TRUE.toString());
49  1 assertEquals("F", Lbool.FALSE.toString());
50    }
51   
52    }
 
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.