From 4532b07e881dce9b8979358114185f769956b7c0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 8 Apr 2020 16:17:07 -0700
Subject: [PATCH] guard against untempered parameter combinations #3877

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_parallel.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index ba148f048..bed009e0c 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -57,6 +57,9 @@ namespace smt {
         unsigned error_code = 0;
         bool done = false;
         unsigned num_rounds = 0;
+        if (m.has_trace_stream())
+            throw default_exception("trace streams have to be off in parallel mode");
+
 
         for (unsigned i = 0; i < num_threads; ++i) {
             ast_manager* new_m = alloc(ast_manager, m, true);