public interface TestGenerationLog
Modifier and Type | Method and Description |
---|---|
void |
testGenerationCompleted() |
void |
write(java.lang.String string) |
void |
writeException(java.lang.Throwable t) |
void |
writeln(java.lang.String string) |
Copyright © 2003-2019 The KeY-Project.