mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-08 10:41:25 +00:00
Code Activity

fix #7822

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-08-27 09:17:55 -07:00
parent b8b9327a70
commit 2337e68169
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_solver.cpp
View file

@ -333,7 +333,7 @@ namespace nlsat {
void checkpoint() { void checkpoint() {
if (!m_rlimit.inc()) throw solver_exception(m_rlimit.get_cancel_msg()); if (!m_rlimit.inc()) throw solver_exception(m_rlimit.get_cancel_msg());
if (memory::get_allocation_size() > m_max_memory) throw solver_exception(Z3_MAX_MEMORY_MSG); if (memory::get_allocation_size()/(1 << 20) > m_max_memory) throw solver_exception(Z3_MAX_MEMORY_MSG);
} }
// ----------------------- // -----------------------