public class BackboneTest extends Object
Constructor and Description |
---|
BackboneTest() |
Modifier and Type | Method and Description |
---|---|
void |
testBugUnitClauses()
Testcase to check that the problem with unit clauses does no longer
occurs.
|
void |
testCaseWithUnsatProblem() |
void |
testEasyCaseWithOnlyOneModel() |
void |
testEmptyBackbone() |
public void testEasyCaseWithOnlyOneModel() throws ContradictionException, TimeoutException
public void testEmptyBackbone() throws ContradictionException, TimeoutException
public void testCaseWithUnsatProblem() throws ContradictionException, TimeoutException
public void testBugUnitClauses() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.