org.sat4j.pb

Class TestEclipseBug247567

java.lang.Object

org.sat4j.pb.TestEclipseBug247567

public class TestEclipseBug247567
extends 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

Constructors

Constructor and Description
TestEclipseBug247567()

Method Summary

Methods

Modifier and Type	Method and Description
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,
                                      FileNotFoundException,
                                      org.sat4j.reader.ParseFormatException,
                                      IOException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

FileNotFoundException

org.sat4j.reader.ParseFormatException

IOException