mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

add method for resetting limit

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-11-14 21:42:36 -08:00
parent 6eae3f0863
commit 6a9d5910cb
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/rlimit.h
View file

@ -50,6 +50,7 @@ public:
bool inc(); bool inc();
bool inc(unsigned offset); bool inc(unsigned offset);
uint64_t count() const; uint64_t count() const;
void reset_count() { m_count = 0; }
bool suspended() const { return m_suspend; } bool suspended() const { return m_suspend; }
inline bool not_canceled() const { return (m_cancel == 0 && m_count <= m_limit) || m_suspend; } inline bool not_canceled() const { return (m_cancel == 0 && m_count <= m_limit) || m_suspend; }