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.h | |
| 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.h')
| -rw-r--r-- | test/TestHelper.h | 1 |
1 files changed, 1 insertions, 0 deletions
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(); |