org.sat4j.pb
Class TestEclipseBug247567

java.lang.Object
  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