add method for resetting limit

Z3Prover · Nov 15, 2024 · 6a9d591 · 6a9d591
1 parent 6eae3f0
commit 6a9d591
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/util/rlimit.h b/src/util/rlimit.h
@@ -50,6 +50,7 @@ class reslimit {
     bool inc();
     bool inc(unsigned offset);
     uint64_t count() const;
+    void reset_count() { m_count = 0; }
 
     bool suspended() const { return m_suspend;  }
     inline bool not_canceled() const { return (m_cancel == 0 && m_count <= m_limit) || m_suspend; }