From cd5a5b36861f62c0817eb76add3a9720a53159ef Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Thu, 25 Jul 2019 15:15:18 +0200 Subject: [PATCH] [SMTChecker] Initialize all number types with 0 --- libsolidity/formal/SymbolicTypes.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsolidity/formal/SymbolicTypes.cpp b/libsolidity/formal/SymbolicTypes.cpp index 269fd1601..40999ea15 100644 --- a/libsolidity/formal/SymbolicTypes.cpp +++ b/libsolidity/formal/SymbolicTypes.cpp @@ -258,7 +258,7 @@ void setSymbolicZeroValue(SymbolicVariable const& _variable, EncodingContext& _c void setSymbolicZeroValue(Expression _expr, solidity::TypePointer const& _type, EncodingContext& _context) { solAssert(_type, ""); - if (isInteger(_type->category())) + if (isNumber(_type->category())) _context.addAssertion(_expr == 0); else if (isBool(_type->category())) _context.addAssertion(_expr == Expression(false));