Home
last modified time | relevance | path

Searched refs:g_verbosity_level (Results 1 – 6 of 6) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dutil.cpp23 static unsigned g_verbosity_level = 0; variable
26 g_verbosity_level = lvl; in set_verbosity_level()
30 return g_verbosity_level; in get_verbosity_level()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dutil.cpp31 static unsigned g_verbosity_level = 0; variable
34 g_verbosity_level = lvl; in set_verbosity_level()
38 return g_verbosity_level; in get_verbosity_level()
/dports/print/latex2rtf/latex2rtf-2.3.17/
H A Dmain.c82 int g_verbosity_level = WARNING; variable
188 g_verbosity_level = *optarg - '0'; in main()
189 if (g_verbosity_level < 0 || g_verbosity_level > 7) { in main()
613 if (level <= g_verbosity_level) { in diagnostics()
1024 if (2 <= g_verbosity_level) { in debug_malloc()
H A Dmain.h74 extern int g_verbosity_level;
H A Dutils.c590 if (g_verbosity_level<level) return; in show_string()
H A Dfunct1.c1912 g_verbosity_level = atoi(s); in CmdVerbosityLevel()