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); }