public class TestAllMUSes extends Object
Constructor and Description |
---|
TestAllMUSes() |
Modifier and Type | Method and Description |
---|---|
void |
setUp() |
void |
testAlmostGlobalInconsistency() |
void |
testAlmostGlobalInconsistencyII() |
void |
testAlmostGlobalInconsistencyIIIndex() |
void |
testAlmostGlobalInconsistencyIndex() |
void |
testEclipseTestCase() |
void |
testEclipseTestCase2() |
void |
testExample1CADECedric() |
void |
testExample3CADECedric() |
void |
testExample3IJCAICedric() |
void |
testGlobalInconsistency() |
void |
testGlobalInconsistencyIndex() |
void |
testSimpleCase() |
void |
testTheCaseOfTwoMUSes() |
void |
testVerySimpleCase() |
public void testSimpleCase()
public void testVerySimpleCase()
public void testGlobalInconsistency() throws ContradictionException, TimeoutException
public void testGlobalInconsistencyIndex() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistency() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistencyIndex() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistencyII() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistencyIIIndex() throws ContradictionException, TimeoutException
public void testTheCaseOfTwoMUSes() throws ContradictionException, TimeoutException
public void testEclipseTestCase() throws ContradictionException, TimeoutException
public void testEclipseTestCase2() throws ContradictionException, TimeoutException
public void testExample1CADECedric() throws ContradictionException, TimeoutException
public void testExample3CADECedric() throws ContradictionException, TimeoutException
public void testExample3IJCAICedric() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.