public class BugSAT43 extends Object
Constructor and Description |
---|
BugSAT43() |
Modifier and Type | Method and Description |
---|---|
void |
implicitDeclarationOfVariables() |
void |
testDeclaredVariables() |
void |
testNoDeclaredVariables() |
public void testNoDeclaredVariables() throws ContradictionException, TimeoutException
public void testDeclaredVariables() throws ContradictionException, TimeoutException
public void implicitDeclarationOfVariables() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.