private void runCascadeTO(final String... args) throws Exception {
System.out.println("runCascade with timeout " + "20s: " + Joiner.on(";").join(args));
TestUtils.callWithTimeout(
new Runnable() {
@Override
public void run() {
Preferences.clearAll();
try {
Main main = getInjector().getInstance(Main.class);
main.init();
List<String> files = main.processCommandLine(args);
main.setOutStream(System.out);
main.setErrStream(IOUtils.NULL_PRINT_STREAM);
IOUtils.enableOut();
main.run(files);
} catch (TheoremProverException e) {
e.printStackTrace();
} catch (IOException e) {
e.printStackTrace();
} catch (ParseException e) {
e.printStackTrace();
}
}
},
20);
}
