diff options
| author | Leonardo Alt <leonardoaltt@gmail.com> | 2018-03-01 01:00:13 +0800 |
|---|---|---|
| committer | Leonardo Alt <leonardoaltt@gmail.com> | 2018-03-01 01:05:20 +0800 |
| commit | cff0836c032ecee2710f1c17c49eec0a3b4aa9fc (patch) | |
| tree | 64349305119d23e022c6a407da2e3e146e6f40ea /libsolidity/formal/SymbolicVariable.h | |
| parent | 21c6b80fc98f6d584f240a47d4a01827768f18f3 (diff) | |
| download | dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.gz dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.bz2 dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.lz dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.xz dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.tar.zst dexon-solidity-cff0836c032ecee2710f1c17c49eec0a3b4aa9fc.zip | |
Fix PR comments
Diffstat (limited to 'libsolidity/formal/SymbolicVariable.h')
| -rw-r--r-- | libsolidity/formal/SymbolicVariable.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/libsolidity/formal/SymbolicVariable.h b/libsolidity/formal/SymbolicVariable.h index 66633b73..2b59e57a 100644 --- a/libsolidity/formal/SymbolicVariable.h +++ b/libsolidity/formal/SymbolicVariable.h @@ -36,8 +36,10 @@ class Declaration; class SymbolicVariable { public: - explicit SymbolicVariable(Declaration const* _decl, - smt::SolverInterface& _interface); + SymbolicVariable( + Declaration const* _decl, + smt::SolverInterface& _interface + ); SymbolicVariable(SymbolicVariable const&) = default; SymbolicVariable(SymbolicVariable&&) = default; SymbolicVariable& operator=(SymbolicVariable const&) = default; @@ -52,8 +54,8 @@ public: /// Sets the var to the default value of its type. virtual void setZeroValue(int _seq) = 0; - /// The unknown value depends on the type. For example, an interval is set for Integers. - /// This is decided by the subclasses. + /// The unknown value is the full range of valid values, + /// and that's sub-type dependent. virtual void setUnknownValue(int _seq) = 0; protected: |