From 4a4620ac955d3c61b4778dfab3a9e05a91e4fc33 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Fri, 12 Oct 2018 15:44:46 +0200 Subject: Refactor SSAVariable such that it only uses Type and not Declaration --- libsolidity/formal/SymbolicVariable.cpp | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'libsolidity/formal/SymbolicVariable.cpp') diff --git a/libsolidity/formal/SymbolicVariable.cpp b/libsolidity/formal/SymbolicVariable.cpp index caefa3a3..afbc01ba 100644 --- a/libsolidity/formal/SymbolicVariable.cpp +++ b/libsolidity/formal/SymbolicVariable.cpp @@ -24,17 +24,19 @@ using namespace dev; using namespace dev::solidity; SymbolicVariable::SymbolicVariable( - Declaration const& _decl, + Type const& _type, + string const& _uniqueName, smt::SolverInterface& _interface ): - m_declaration(_decl), + m_type(_type), + m_uniqueName(_uniqueName), m_interface(_interface) { } string SymbolicVariable::uniqueSymbol(int _seq) const { - return m_declaration.name() + "_" + to_string(m_declaration.id()) + "_" + to_string(_seq); + return m_uniqueName + "_" + to_string(_seq); } -- cgit v1.2.3