public class TestQuickExplainPB extends Object
Constructor and Description |
---|
TestQuickExplainPB() |
Modifier and Type | Method and Description |
---|---|
void |
testAlmostGlobalInconsistency() |
void |
testAlmostGlobalInconsistencyII() |
void |
testAlmostGlobalInconsistencyPB() |
void |
testEclipsePatchEncoding() |
void |
testGlobalInconsistency() |
void |
testGlobalInconsistencyPB() |
void |
testUpdatedEclipsePatchEncoding() |
public void testGlobalInconsistency() throws ContradictionException, TimeoutException
public void testGlobalInconsistencyPB() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistency() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistencyII() throws ContradictionException, TimeoutException
public void testAlmostGlobalInconsistencyPB() throws ContradictionException, TimeoutException
public void testEclipsePatchEncoding() throws ContradictionException, TimeoutException
public void testUpdatedEclipsePatchEncoding() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.