Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
9   78   1   0,9
0   40   1,11   10
10     1  
1    
 
  VarOrderTest       Line # 22 9 1 100% 1.0
 
  (9)
 
1    /*
2    * Created on 17 mars 2004
3    *
4    * To change the template for this generated file go to
5    * Window - Preferences - Java - Code Generation - Code and Comments
6    */
7    package org.sat4j.minisat;
8   
9    import junit.framework.TestCase;
10   
11    import org.sat4j.minisat.constraints.ClausalDataStructureWL;
12    import org.sat4j.minisat.core.ILits;
13    import org.sat4j.minisat.core.IOrder;
14    import org.sat4j.minisat.orders.VarOrder;
15   
16    /**
17    * @author leberre
18    *
19    * To change the template for this generated type comment go to Window -
20    * Preferences - Java - Code Generation - Code and Comments
21    */
 
22    public class VarOrderTest extends TestCase {
23   
24    /*
25    * Class to test for void newVar()
26    */
 
27  1 toggle public void testNewVar() {
28  1 int p = voc.getFromPool(-1);
29  1 order.init();
30  1 assertEquals(p, order.select());
31  1 voc.satisfies(2); // satisfying literal 1
32  1 assertEquals(ILits.UNDEFINED, order.select());
33    }
34   
35    /*
36    * Class to test for void newVar(int)
37    */
 
38  1 toggle public void testNewVarint() {
39    }
40   
 
41  1 toggle public void testSelect() {
42    }
43   
 
44  1 toggle public void testSetVarDecay() {
45    }
46   
 
47  1 toggle public void testUndo() {
48    }
49   
 
50  1 toggle public void testUpdateVar() {
51    }
52   
 
53  1 toggle public void testVarDecayActivity() {
54    }
55   
 
56  1 toggle public void testNumberOfInterestingVariables() {
57    }
58   
 
59  1 toggle public void testGetVocabulary() {
60    }
61   
62    /*
63    * (non-Javadoc)
64    *
65    * @see junit.framework.TestCase#setUp()
66    */
 
67  9 toggle @Override
68    protected void setUp() throws Exception {
69  9 voc = new ClausalDataStructureWL().getVocabulary();
70  9 voc.ensurePool(5);
71  9 order = new VarOrder<ILits>();
72  9 order.setLits(voc);
73    }
74   
75    private ILits voc;
76   
77    private IOrder<ILits> order;
78    }
 
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.