From 321e09b62fbcff43a6719a79c9ce07f267f3b72b Mon Sep 17 00:00:00 2001
From: Bhargava Shastry <bhargava.shastry@ethereum.org>
Date: Wed, 12 May 2021 11:09:43 +0200
Subject: [PATCH] Disable SMT checker to silence memory leak reports from z3

---
 test/tools/fuzzer_common.cpp | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/test/tools/fuzzer_common.cpp b/test/tools/fuzzer_common.cpp
index 81f3e2c73..cf9b9f52c 100644
--- a/test/tools/fuzzer_common.cpp
+++ b/test/tools/fuzzer_common.cpp
@@ -86,7 +86,7 @@ void FuzzerUtil::testCompiler(
 	StringMap& _input,
 	bool _optimize,
 	unsigned _rand,
-	bool _forceSMT,
+	bool ,
 	bool _compileViaYul
 )
 {
@@ -97,16 +97,16 @@ void FuzzerUtil::testCompiler(
 		optimiserSettings = frontend::OptimiserSettings::standard();
 	else
 		optimiserSettings = frontend::OptimiserSettings::minimal();
-	if (_forceSMT)
-	{
-		forceSMT(_input);
-		compiler.setModelCheckerSettings({
-			frontend::ModelCheckerContracts::Default(),
-			frontend::ModelCheckerEngine::All(),
-			frontend::ModelCheckerTargets::Default(),
-			/*timeout=*/1
-		});
-	}
+//	if (_forceSMT)
+//	{
+//		forceSMT(_input);
+//		compiler.setModelCheckerSettings({
+//			frontend::ModelCheckerContracts::Default(),
+//			frontend::ModelCheckerEngine::All(),
+//			frontend::ModelCheckerTargets::Default(),
+//			/*timeout=*/1
+//		});
+//	}
 	compiler.setSources(_input);
 	compiler.setEVMVersion(evmVersion);
 	compiler.setOptimiserSettings(optimiserSettings);