From b356f6a7f9e4fcdfa0f7df2e938ad735d231e599 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Fri, 27 Jul 2018 09:14:50 +0200 Subject: Setting timeout to Z3 and CVC4 --- libsolidity/formal/CVC4Interface.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'libsolidity/formal/CVC4Interface.cpp') diff --git a/libsolidity/formal/CVC4Interface.cpp b/libsolidity/formal/CVC4Interface.cpp index 0cb70d2f..0530e940 100644 --- a/libsolidity/formal/CVC4Interface.cpp +++ b/libsolidity/formal/CVC4Interface.cpp @@ -37,6 +37,7 @@ void CVC4Interface::reset() m_functions.clear(); m_solver.reset(); m_solver.setOption("produce-models", true); + m_solver.setTimeLimit(queryTimeout); } void CVC4Interface::push() -- cgit v1.2.3