diff options
Diffstat (limited to 'libsolidity/formal/SymbolicIntVariable.h')
| -rw-r--r-- | libsolidity/formal/SymbolicIntVariable.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/libsolidity/formal/SymbolicIntVariable.h b/libsolidity/formal/SymbolicIntVariable.h index d0ac3888..110ebb09 100644 --- a/libsolidity/formal/SymbolicIntVariable.h +++ b/libsolidity/formal/SymbolicIntVariable.h @@ -39,10 +39,7 @@ public: /// Sets the var to 0. void setZeroValue(); /// Sets the variable to the full valid value range. - void setUnknownValue(); - - static smt::Expression minValue(IntegerType const& _t); - static smt::Expression maxValue(IntegerType const& _t); + virtual void setUnknownValue(); protected: smt::Expression valueAtIndex(int _index) const; |