Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
34   93   1   4,86
0   56   0,21   7
7     1  
1    
 
  LitTest       Line # 17 34 1 100% 1.0
 
  (5)
 
1    package org.sat4j.minisat.constraints;
2   
3    import junit.framework.TestCase;
4   
5    import org.sat4j.minisat.constraints.cnf.Lits;
6    import org.sat4j.minisat.core.ILits;
7   
8    /*
9    * Created on 30 oct. 2003
10    *
11    */
12   
13    /**
14    * @author leberre
15    *
16    */
 
17    public class LitTest extends TestCase {
18   
19    private ILits lits;
20   
21    /**
22    * Constructor for LitTest.
23    *
24    * @param arg0
25    */
 
26  5 toggle public LitTest(String arg0) {
27  5 super(arg0);
28    }
29   
30    /*
31    * @see TestCase#setUp()
32    */
 
33  5 toggle @Override
34    protected void setUp() throws Exception {
35  5 super.setUp();
36  5 lits = new Lits();
37    }
38   
 
39  1 toggle public void testNot() {
40  1 lits.ensurePool(5);
41  1 int lit = lits.getFromPool(-5);
42  1 assertEquals(lits.getFromPool(5), lit ^ 1);
43    }
44   
 
45  1 toggle public void testVar() {
46  1 lits.ensurePool(10);
47  1 int lit = lits.getFromPool(-5);
48  1 assertEquals(5, lit >> 1);
49  1 lit = lits.getFromPool(10);
50  1 assertEquals(10, lit >> 1);
51   
52    }
53   
54    /*
55    * Test pour boolean equals(Object)
56    */
 
57  1 toggle public void testEqualsObject() {
58  1 lits.ensurePool(3);
59  1 int lit = lits.getFromPool(-3);
60  1 assertEquals(lits.getFromPool(-3), lit);
61  1 assertEquals(lits.getFromPool(3), lit ^ 1);
62  1 assertFalse(lits.getFromPool(1) == lits.getFromPool(2));
63    }
64   
65    /*
66    * Test pour String toString()
67    */
 
68  1 toggle public void testToString() {
69  1 lits.ensurePool(3);
70  1 int lit = lits.getFromPool(-3);
71  1 assertEquals("-3", Lits.toString(lit));
72  1 assertEquals("3", Lits.toString(lit ^ 1));
73    }
74   
 
75  1 toggle public void testTruthValue() {
76  1 lits.ensurePool(3);
77  1 int lit = lits.getFromPool(-2);
78  1 assertTrue(lits.isUnassigned(lit));
79  1 assertTrue(lits.isUnassigned(lit ^ 1));
80  1 lits.satisfies(lit);
81  1 assertTrue(lits.isSatisfied(lit));
82  1 assertFalse(lits.isFalsified(lit));
83  1 assertFalse(lits.isUnassigned(lit));
84  1 assertFalse(lits.isSatisfied(lit ^ 1));
85  1 assertTrue(lits.isFalsified(lit ^ 1));
86  1 assertFalse(lits.isUnassigned(lit ^ 1));
87  1 lits.unassign(lit);
88  1 assertTrue(lits.isUnassigned(lit));
89  1 assertTrue(lits.isUnassigned(lit ^ 1));
90   
91    }
92   
93    }
 
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.