diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-10-22 16:29:03 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-10-25 15:30:48 +0800 |
| commit | d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6 (patch) | |
| tree | e8d160211b6db84307670e86982171e7ac1f8d2d /libsolidity/formal/SMTChecker.cpp | |
| parent | 01566c2e1af5b7f655fd593e5e1019e103d739a0 (diff) | |
| download | dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.gz dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.bz2 dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.lz dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.xz dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.zst dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.zip | |
Grouping of symbolic variables in the same file and support to FixedBytes
Diffstat (limited to 'libsolidity/formal/SMTChecker.cpp')
| -rw-r--r-- | libsolidity/formal/SMTChecker.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/libsolidity/formal/SMTChecker.cpp b/libsolidity/formal/SMTChecker.cpp index 631a9eee..51b310ae 100644 --- a/libsolidity/formal/SMTChecker.cpp +++ b/libsolidity/formal/SMTChecker.cpp @@ -19,8 +19,6 @@ #include <libsolidity/formal/SMTPortfolio.h> -#include <libsolidity/formal/SSAVariable.h> -#include <libsolidity/formal/SymbolicIntVariable.h> #include <libsolidity/formal/VariableUsage.h> #include <libsolidity/formal/SymbolicTypes.h> |