From a1f304664735078c5b3d11e1d9d0334dffdf6bbd Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 28 Sep 2017 10:28:41 +0200
Subject: Add SMT tests.

---
 test/TestHelper.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/TestHelper.h')

diff --git a/test/TestHelper.h b/test/TestHelper.h
index d50568ad..d25c5cd8 100644
--- a/test/TestHelper.h
+++ b/test/TestHelper.h
@@ -35,6 +35,7 @@ struct Options: boost::noncopyable
 	bool showMessages = false;
 	bool optimize = false;
 	bool disableIPC = false;
+	bool disableSMT = false;
 
 	static Options const& get();
 
-- 
cgit