org.sat4j.tools
Class RemiUtilsTest

java.lang.Object
  extended by org.sat4j.tools.RemiUtilsTest

public class RemiUtilsTest
extends Object

Testcase to check that the problem with unit clauses does no longer occurs. Bug report from Sebastian Henneberg


Constructor Summary
RemiUtilsTest()
           
 
Method Summary
 void testBugUnitClauses()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RemiUtilsTest

public RemiUtilsTest()
Method Detail

testBugUnitClauses

public void testBugUnitClauses()
                        throws ContradictionException,
                               TimeoutException
Throws:
ContradictionException
TimeoutException


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.