diff --git a/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlGenTestBase.java b/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlGenTestBase.java
index <HASH>..<HASH> 100644
--- a/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlGenTestBase.java
+++ b/core/codegen/vdm2jml/src/test/java/org/overture/vdm2jml/tests/JmlGenTestBase.java
@@ -83,6 +83,7 @@ abstract public class JmlGenTestBase
 		javaCgArgs.add(outputFolder.getAbsolutePath());
 		javaCgArgs.add(JmlGenMain.FOLDER_ARG);
 		javaCgArgs.add(new File(VDM_LIB_PATH).getAbsolutePath());
+		javaCgArgs.add(JmlGenMain.NO_TRACE);
 		//javaCgArgs.add(JmlGenMain.REPORT_VIOLATIONS_ARG);
 		
 		return javaCgArgs.toArray(new String[]{});
JML generator output tests do not need to generate the trace