public class TestsFonctionnels
extends junit.framework.TestCase
Constructor and Description |
---|
TestsFonctionnels(String arg0)
Constructor for TestsFonctionnels.
|
Modifier and Type | Method and Description |
---|---|
protected void |
setUp() |
void |
testBug001() |
void |
testCommentsInInstance() |
void |
testIsImplied() |
void |
testIsImplied3() |
void |
testRemoveAtLeast() |
void |
testRemoveConstraints() |
void |
testSat() |
void |
testTrivialInconsistentFormula() |
void |
testTrivialSat() |
void |
testTrivialSatNewVar()
Deprecated.
|
void |
testTrivialUnsat() |
void |
testUnsat() |
void |
testWhenNewVarNotCalled() |
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString
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
public TestsFonctionnels(String arg0)
arg0
- public void testSat()
public void testUnsat() throws TimeoutException
TimeoutException
public void testTrivialUnsat()
public void testTrivialSat() throws TimeoutException
TimeoutException
@Deprecated public void testTrivialSatNewVar() throws TimeoutException
TimeoutException
public void testBug001() throws TimeoutException
TimeoutException
public void testTrivialInconsistentFormula()
public void testCommentsInInstance()
public void testRemoveConstraints() throws TimeoutException
TimeoutException
public void testRemoveAtLeast()
public void testIsImplied()
public void testIsImplied3()
public void testWhenNewVarNotCalled()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.