diff options
Diffstat (limited to 'libsolidity/formal/SymbolicVariable.h')
| -rw-r--r-- | libsolidity/formal/SymbolicVariable.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/libsolidity/formal/SymbolicVariable.h b/libsolidity/formal/SymbolicVariable.h index 215c9ac1..417e1f92 100644 --- a/libsolidity/formal/SymbolicVariable.h +++ b/libsolidity/formal/SymbolicVariable.h @@ -62,10 +62,11 @@ public: int& index() { return m_ssa->index(); } /// Sets the var to the default value of its type. + /// Inherited types must implement. virtual void setZeroValue() = 0; - /// The unknown value is the full range of valid values, - /// and that's sub-type dependent. - virtual void setUnknownValue() = 0; + /// The unknown value is the full range of valid values. + /// It is sub-type dependent, but not mandatory. + virtual void setUnknownValue() {} protected: std::string uniqueSymbol(int _index) const; |