Searched refs:REPORT_LOGMASK (Results 1 – 1 of 1) sorted by relevance
65 #define REPORT_LOGMASK (REPORT_ALWAYS|REPORT_VERBOSE|REPORT_DEBUG) macro542 if (((f & REPORT_LOGMASK) >> 1) <= veriexec_verbose) { in veriexec_file_report()