aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2017-10-04 20:05:55 +0800
committerAlex Beregszaszi <alex@rtfs.hu>2017-10-04 20:05:55 +0800
commita9847c955106dbf74d47d68122a634c787e0d00b (patch)
tree47de56afd35f31d69cc4aa2030544ddc92769224 /libsolidity/formal
parent30908415bfdb463adafc4aabab48cbe56d105012 (diff)
downloaddexon-solidity-a9847c955106dbf74d47d68122a634c787e0d00b.tar.gz
dexon-solidity-a9847c955106dbf74d47d68122a634c787e0d00b.tar.zst
dexon-solidity-a9847c955106dbf74d47d68122a634c787e0d00b.zip
Use solAssert and not assert
Diffstat (limited to 'libsolidity/formal')
-rw-r--r--libsolidity/formal/Z3Interface.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Z3Interface.cpp b/libsolidity/formal/Z3Interface.cpp
index 522928f0..21bad2d6 100644
--- a/libsolidity/formal/Z3Interface.cpp
+++ b/libsolidity/formal/Z3Interface.cpp
@@ -142,7 +142,7 @@ z3::expr Z3Interface::toZ3Expr(Expression const& _expr)
return m_context.int_val(n.c_str());
}
- assert(arity.count(n) && arity.at(n) == arguments.size());
+ solAssert(arity.count(n) && arity.at(n) == arguments.size(), "");
if (n == "ite")
return z3::ite(arguments[0], arguments[1], arguments[2]);
else if (n == "not")