mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-26 13:06:05 +00:00
Code Activity

trace : Sort and reorder trace tags by tag_class and tag_name (#7714)

Browse source
This commit is contained in:
LeeYoungJoon 2025-07-03 01:53:35 +09:00 • committed by GitHub
parent 0218fb75a2
commit 53c48f7226
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 1312 additions and 1241 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/trace.cpp
View file

@ -53,7 +53,7 @@ struct tag_info {
};
static tag_info s_tag_infos[] = {
#define X(tag, tc, desc) { false, false, TraceTag::tag },
#define X(tag_class, tag, desc) { false, false, TraceTag::tag },
#include "util/trace_tags.def"
#undef X
};
@ -115,7 +115,7 @@ void enable_trace(const char * tag_str) {
TraceTag tag = find_trace_tag_by_string(tag_str);
if (tag == TraceTag::Count) {
warning_msg("trace tag '%s' does not exist", tag_str);
#define X(tag, tag_class, desc) if (has_overlap(#tag, tag_str)) warning_msg("did you mean '%s'?", #tag);
#define X(tag_class, tag, desc) if (has_overlap(#tag, tag_str)) warning_msg("did you mean '%s'?", #tag);
#include "util/trace_tags.def"
#undef X
return;