- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- org.sat4j.minisat.AbstractAcceptanceTestCase<T>
-
-
Method Summary
-
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
-
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
-
-
Field Detail
-
reader
protected Reader reader
-
Method Detail
-
setUp
protected void setUp()
- Overrides:
setUp
in class junit.framework.TestCase
- See Also:
TestCase.setUp()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.