diff options
| author | chriseth <chris@ethereum.org> | 2017-09-28 16:28:41 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-09-29 18:44:39 +0800 |
| commit | a1f304664735078c5b3d11e1d9d0334dffdf6bbd (patch) | |
| tree | e5a9eb1c65e383537a884a9f828a03d7a110df4f /test/TestHelper.cpp | |
| parent | 5ee3ceaef77e5ab1fdcee1a698e5693823c14986 (diff) | |
| download | dexon-solidity-a1f304664735078c5b3d11e1d9d0334dffdf6bbd.tar.gz dexon-solidity-a1f304664735078c5b3d11e1d9d0334dffdf6bbd.tar.zst dexon-solidity-a1f304664735078c5b3d11e1d9d0334dffdf6bbd.zip | |
Add SMT tests.
Diffstat (limited to 'test/TestHelper.cpp')
| -rw-r--r-- | test/TestHelper.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/TestHelper.cpp b/test/TestHelper.cpp index 094b59c6..c8747a06 100644 --- a/test/TestHelper.cpp +++ b/test/TestHelper.cpp @@ -45,6 +45,8 @@ Options::Options() showMessages = true; else if (string(suite.argv[i]) == "--no-ipc") disableIPC = true; + else if (string(suite.argv[i]) == "--no-smt") + disableSMT = true; if (!disableIPC && ipcPath.empty()) if (auto path = getenv("ETH_TEST_IPC")) |