mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
rlimit mux
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f0f37411a2
commit
7c1e935bc2
|
@ -87,7 +87,6 @@ void reslimit::cancel() {
|
|||
set_cancel(m_cancel+1);
|
||||
}
|
||||
|
||||
|
||||
void reslimit::reset_cancel() {
|
||||
lock_guard lock(g_rlimit_mux);
|
||||
set_cancel(0);
|
||||
|
@ -98,7 +97,6 @@ void reslimit::inc_cancel() {
|
|||
set_cancel(m_cancel+1);
|
||||
}
|
||||
|
||||
|
||||
void reslimit::dec_cancel() {
|
||||
lock_guard lock(g_rlimit_mux);
|
||||
if (m_cancel > 0) {
|
||||
|
|
|
@ -20,6 +20,7 @@ Revision History:
|
|||
|
||||
#include "util/vector.h"
|
||||
|
||||
|
||||
class reslimit {
|
||||
volatile unsigned m_cancel;
|
||||
bool m_suspend;
|
||||
|
|
Loading…
Reference in a new issue