diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-10-04 21:23:27 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-10-05 19:29:20 +0800 |
| commit | 18ae0c3d784cb587d50bdfc1f33e200fd97f2676 (patch) | |
| tree | 9a99925d003f200cdd8b18509c04a8cc004ae143 /libsolidity/formal/SMTLib2Interface.h | |
| parent | 6ba0c2bba85ba099b10c58d1c7d10d91e1364471 (diff) | |
| download | dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.tar dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.tar.gz dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.tar.bz2 dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.tar.lz dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.tar.xz dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.tar.zst dexon-solidity-18ae0c3d784cb587d50bdfc1f33e200fd97f2676.zip | |
SMT enforce variable types
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.h')
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libsolidity/formal/SMTLib2Interface.h b/libsolidity/formal/SMTLib2Interface.h index 63188acd..e827449f 100644 --- a/libsolidity/formal/SMTLib2Interface.h +++ b/libsolidity/formal/SMTLib2Interface.h @@ -68,6 +68,14 @@ private: ReadCallback::Callback m_queryCallback; std::vector<std::string> m_accumulatedOutput; + + enum class SMTVariableType { + Function, + Integer, + Bool + }; + + std::map<std::string,SMTVariableType> m_variables; }; } |