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

scoped_set_verbosity_level

Browse source
This commit is contained in:
Jakob Rath 2023-08-17 18:02:57 +02:00
parent dcb0d27dd7
commit 93592ea3f2
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/util/util.h
View file

@ -192,6 +192,17 @@ unsigned get_verbosity_level();
std::ostream& verbose_stream(); std::ostream& verbose_stream();
void set_verbose_stream(std::ostream& str); void set_verbose_stream(std::ostream& str);
class scoped_set_verbosity_level {
unsigned m_prev;
public:
scoped_set_verbosity_level(unsigned lvl) {
m_prev = get_verbosity_level();
set_verbosity_level(lvl);
}
~scoped_set_verbosity_level() {
set_verbosity_level(m_prev);
}
};
#define IF_VERBOSE(LVL, CODE) { if (get_verbosity_level() >= LVL) { THREAD_LOCK(CODE); } } ((void) 0) #define IF_VERBOSE(LVL, CODE) { if (get_verbosity_level() >= LVL) { THREAD_LOCK(CODE); } } ((void) 0)