From a46a21c4c37ed3e6f662944e239ab60afde751ca Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 29 Apr 2016 13:08:23 +0200
Subject: [PATCH] Disabled buffered log for NativeZ3 regression (tests are
 sequential anyway)

---
 build.sbt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.sbt b/build.sbt
index e5dd61402..698279222 100644
--- a/build.sbt
+++ b/build.sbt
@@ -162,6 +162,8 @@ testOptions in NativeZ3RegressionTest := Seq(Tests.Argument("-oDF"), Tests.Filte
 
 parallelExecution in NativeZ3RegressionTest := false
 
+logBuffered in NativeZ3RegressionTest := false
+
 
 // Isabelle Tests
 lazy val IsabelleTest = config("isabelle") extend(Test)
-- 
GitLab