public class BugReset extends Object
Constructor and Description |
---|
BugReset() |
Modifier and Type | Method and Description |
---|---|
void |
problemTest() |
void |
problemTest2() |
void |
testBugKostya() |
void |
testWithReset() |
public void testBugKostya() throws TimeoutException, ContradictionException
public void testWithReset() throws TimeoutException, ContradictionException
public void problemTest() throws TimeoutException, ContradictionException
public void problemTest2() throws TimeoutException, ContradictionException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.