From 7ca335adde39ec1aea44b0518919d11b6377b1b5 Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Mon, 31 Aug 2020 17:10:37 +0200 Subject: [PATCH] Decrease rlimit --- libsmtutil/Z3Interface.h | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/libsmtutil/Z3Interface.h b/libsmtutil/Z3Interface.h index 22f793337..23534fd75 100644 --- a/libsmtutil/Z3Interface.h +++ b/libsmtutil/Z3Interface.h @@ -49,9 +49,7 @@ public: // Z3 "basic resources" limit. // This is used to make the runs more deterministic and platform/machine independent. - // The tests start failing for Z3 with less than 10000000, - // so using double that. - static int const resourceLimit = 20000000; + static int const resourceLimit = 12500000; private: void declareFunction(std::string const& _name, Sort const& _sort);