diff options
Diffstat (limited to 'libsolidity/formal/SymbolicVariables.h')
| -rw-r--r-- | libsolidity/formal/SymbolicVariables.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libsolidity/formal/SymbolicVariables.h b/libsolidity/formal/SymbolicVariables.h index 4fd9b245..13b944a5 100644 --- a/libsolidity/formal/SymbolicVariables.h +++ b/libsolidity/formal/SymbolicVariables.h @@ -51,6 +51,8 @@ public: return valueAtIndex(m_ssa->index()); } + std::string currentName() const; + virtual smt::Expression valueAtIndex(int _index) const = 0; smt::Expression increaseIndex() |