diff --git a/build.sbt b/build.sbt
index e5dd61402392ab85b5a8e7c675f1670a3ffe07fc..698279222ba6bd258ee6ab438f9343e0cb4c365e 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)