public void test(String moduleName, int nTests) { testResultListener.start(nTests); try { ISourceLocation src = eval.getRascalResolver().resolveModule(moduleName); System.err.println("TestExecutor.test: testing " + moduleName + ", " + nTests + " tests"); eval.call("executeTests", src); // System.err.println("TestExecutor.test: testing " + moduleName + " ... done"); } catch (Exception e) { System.err.println( "TestExecutor.test: " + moduleName + " unexpected exception: " + e.getMessage()); throw e; } finally { testResultListener.done(); } }