Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
85   192   3   6,07
4   124   0,19   14
14     1,14  
1    
 
  MarkableLitsTest       Line # 10 85 3 100% 1.0
 
  (12)
 
1    package org.sat4j.minisat.core;
2   
3    import java.util.Set;
4   
5    import junit.framework.TestCase;
6   
7    import org.sat4j.minisat.constraints.cnf.MarkableLits;
8    import org.sat4j.specs.IVecInt;
9   
 
10    public class MarkableLitsTest extends TestCase {
11   
12    private MarkableLits lits;
13   
 
14  12 toggle public MarkableLitsTest(String name) {
15  12 super(name);
16    }
17   
 
18  12 toggle @Override
19    protected void setUp() throws Exception {
20  12 lits = new MarkableLits();
21  12 lits.init(10);
22    }
23   
24    /*
25    * Test method for
26    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.init(int)'
27    */
 
28  1 toggle public void testInit() {
29  1 assertEquals(10, lits.nVars());
30    }
31   
32    /*
33    * Test method for
34    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.setMark(int, int)'
35    */
 
36  1 toggle public void testSetMarkIntInt() {
37  1 assertEquals(IMarkableLits.MARKLESS, lits.getMark(2));
38  1 lits.setMark(2, 10);
39  1 assertEquals(10, lits.getMark(2));
40    }
41   
42    /*
43    * Test method for
44    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.setMark(int)'
45    */
 
46  1 toggle public void testSetMarkInt() {
47  1 assertEquals(IMarkableLits.MARKLESS, lits.getMark(2));
48  1 lits.setMark(2);
49  1 assertTrue(lits.isMarked(2));
50    }
51   
52    /*
53    * Test method for
54    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.getMark(int)'
55    */
 
56  1 toggle public void testGetMark() {
57  1 assertEquals(IMarkableLits.MARKLESS, lits.getMark(2));
58  1 lits.setMark(2, 10);
59  1 assertEquals(10, lits.getMark(2));
60  1 lits.setMark(2, 5);
61  1 assertEquals(5, lits.getMark(2));
62    }
63   
64    /*
65    * Test method for
66    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.isMarked(int)'
67    */
 
68  1 toggle public void testIsMarked() {
69  1 assertFalse(lits.isMarked(2));
70  1 lits.setMark(2, 10);
71  1 assertTrue(lits.isMarked(2));
72  1 lits.setMark(2, IMarkableLits.MARKLESS);
73  1 assertFalse(lits.isMarked(2));
74  1 lits.setMark(2);
75  1 assertTrue(lits.isMarked(2));
76  1 lits.resetMark(2);
77  1 assertFalse(lits.isMarked(2));
78    }
79   
80    /*
81    * Test method for
82    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.resetMark(int)'
83    */
 
84  1 toggle public void testResetMark() {
85  1 assertFalse(lits.isMarked(3));
86  1 lits.setMark(3, 10);
87  1 assertTrue(lits.isMarked(3));
88  1 lits.resetMark(3);
89  1 assertFalse(lits.isMarked(3));
90  1 lits.setMark(3);
91  1 assertTrue(lits.isMarked(3));
92  1 lits.resetMark(3);
93  1 assertFalse(lits.isMarked(3));
94    }
95   
96    /*
97    * Test method for
98    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.resetAllMarks()'
99    */
 
100  1 toggle public void testResetAllMarks() {
101  11 for (int i = 1; i <= 10; i++) {
102  10 int p = i << 1;
103  10 int q = p + 1;
104  10 assertFalse(lits.isMarked(p));
105  10 assertFalse(lits.isMarked(q));
106  10 lits.setMark(p, i);
107  10 lits.setMark(q, i);
108  10 assertTrue(lits.isMarked(p));
109  10 assertTrue(lits.isMarked(q));
110    }
111  1 lits.resetAllMarks();
112  21 for (int p = 2; p < 22; p++) {
113  20 assertFalse(lits.isMarked(p));
114    }
115    }
116   
117    /*
118    * Test method for
119    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.getMarkedLiterals()'
120    */
 
121  1 toggle public void testGetMarkedLiterals() {
122  1 lits.setMark(4);
123  1 lits.setMark(7);
124  1 lits.setMark(11);
125  1 IVecInt marked = lits.getMarkedLiterals();
126  1 assertEquals(3, marked.size());
127  1 assertTrue(marked.contains(4));
128  1 assertTrue(marked.contains(7));
129  1 assertTrue(marked.contains(11));
130    }
131   
132    /*
133    * Test method for
134    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.getMarkedLiterals(int)'
135    */
 
136  1 toggle public void testGetMarkedLiteralsInt() {
137  1 lits.setMark(4, 10);
138  1 lits.setMark(7, 5);
139  1 lits.setMark(11, 10);
140  1 IVecInt marked = lits.getMarkedLiterals(10);
141  1 assertEquals(2, marked.size());
142  1 assertTrue(marked.contains(4));
143  1 assertFalse(marked.contains(7));
144  1 assertTrue(marked.contains(11));
145    }
146   
147    /*
148    * Test method for
149    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.getMarkedVariables()'
150    */
 
151  1 toggle public void testGetMarkedVariables() {
152  1 lits.setMark(4);
153  1 lits.setMark(7);
154  1 lits.setMark(11);
155  1 IVecInt marked = lits.getMarkedVariables();
156  1 assertEquals(3, marked.size());
157  1 assertTrue(marked.contains(2));
158  1 assertTrue(marked.contains(3));
159  1 assertTrue(marked.contains(5));
160    }
161   
162    /*
163    * Test method for
164    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.getMarkedVariables(int)'
165    */
 
166  1 toggle public void testGetMarkedVariablesInt() {
167  1 lits.setMark(4, 10);
168  1 lits.setMark(7, 5);
169  1 lits.setMark(11, 10);
170  1 IVecInt marked = lits.getMarkedVariables(10);
171  1 assertEquals(2, marked.size());
172  1 assertTrue(marked.contains(2));
173  1 assertFalse(marked.contains(3));
174  1 assertTrue(marked.contains(5));
175    }
176   
177    /*
178    * Test method for
179    * 'org.sat4j.minisat.constraints.cnf.MarkableLits.getMarks()'
180    */
 
181  1 toggle public void testGetMarks() {
182  1 lits.setMark(4, 10);
183  1 lits.setMark(7, 5);
184  1 lits.setMark(11, 10);
185  1 Set<Integer> marks = lits.getMarks();
186  1 assertEquals(2, marks.size());
187  1 assertTrue(marks.contains(5));
188  1 assertFalse(marks.contains(IMarkableLits.MARKLESS));
189  1 assertTrue(marks.contains(10));
190    }
191   
192    }
 
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.