org.sat4j.pb
Class TestEclipseBug247567

java.lang.Object
  extended by org.sat4j.pb.TestEclipseBug247567

public class TestEclipseBug247567
extends java.lang.Object

Test case to prevent a bug occurring with some Eclipse test cases: https://bugs.eclipse.org/bugs/show_bug.cgi?id=247567

Author:
daniel

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

Constructor Detail

TestEclipseBug247567

public TestEclipseBug247567()
Method Detail

testReserveVarsButUseLess

public void testReserveVarsButUseLess()
                               throws org.sat4j.specs.ContradictionException,
                                      org.sat4j.specs.TimeoutException,
                                      java.io.FileNotFoundException,
                                      org.sat4j.reader.ParseFormatException,
                                      java.io.IOException
Throws:
org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
java.io.FileNotFoundException
org.sat4j.reader.ParseFormatException
java.io.IOException


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