public void test(String moduleName, int nTests) {
testResultListener.start(nTests);
IValueFactory vf = eval.getValueFactory();
ISourceLocation src = null;
try {
src = vf.sourceLocation("rascal", "", moduleName.replaceAll("::", "/") + ".rsc");
System.err.println("TestExecutor.test: testing " + moduleName + ", " + nTests + " tests");
eval.call("executeTests", src);
//System.err.println("TestExecutor.test: testing " + moduleName + " ... done");
} catch (URISyntaxException e) {
// TODO Auto-generated catch block