public class BugSAT79 extends Object
Constructor and Description |
---|
BugSAT79() |
Modifier and Type | Method and Description |
---|---|
void |
setUp() |
void |
testSuccessiveCallsInGlobalTimeout() |
void |
testSuccessiveCallsInLocalTimeout() |
void |
testSuccessiveCallsWithDifferentSolvers() |
void |
testSuccessiveCallsWithDifferentSolversInsideDecorators() |
public void testSuccessiveCallsInGlobalTimeout() throws TimeoutException, InterruptedException
TimeoutException
InterruptedException
public void testSuccessiveCallsInLocalTimeout() throws TimeoutException, InterruptedException
TimeoutException
InterruptedException
public void testSuccessiveCallsWithDifferentSolvers() throws TimeoutException, ContradictionException, InterruptedException
public void testSuccessiveCallsWithDifferentSolversInsideDecorators() throws TimeoutException, ContradictionException, InterruptedException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.