Suppress stderr output in CT tests

overturetool · Sep 13, 2013 · 5e4a560 · 5e4a560
1 parent 5d0b185
commit 5e4a560
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/CTMainThread.java b/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/CTMainThread.java
@@ -29,6 +29,7 @@
 import org.overturetool.vdmj.Settings;
 import org.overturetool.vdmj.commands.DebuggerReader;
 import org.overturetool.vdmj.lex.LexLocation;
+import org.overturetool.vdmj.messages.Console;
 import org.overturetool.vdmj.runtime.Context;
 import org.overturetool.vdmj.runtime.ContextException;
 import org.overturetool.vdmj.statements.Statement;
@@ -185,6 +186,13 @@ protected void handleSignal(Signal sig, Context lctxt, LexLocation location)
 		super.handleSignal(sig, lctxt, location);
 	}
 
+	@Override
+	public void setException(Exception e)
+	{
+		// Don't print out the error for CT
+		exception = e;
+	}
+
 	public List<Object> getList()
 	{
 		return result;

diff --git a/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/MainThread.java b/core/vdmj/src/main/java/org/overturetool/vdmj/scheduler/MainThread.java
@@ -46,7 +46,7 @@ public class MainThread extends SchedulablePoolThread
 	public final Expression expression;
 
 	private Value result = new UndefinedValue();
-	private Exception exception = null;
+	protected Exception exception = null;
 
 	public MainThread(Expression expr, Context ctxt)
 	{