mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-06 03:10:25 +00:00
Code Activity

remove commented out include directives to avoid confusing build scripts

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-05-28 16:07:45 +01:00
parent 6d70b49563
commit a3aee0247a
1 changed files with 5 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

21
src/util/trace_tags.h
View file

@ -34,24 +34,13 @@ inline constexpr int trace_tag_count() {
return static_cast<int>(TraceTag::Count);
}
#if 0
// Return all TraceTags as an array
inline const TraceTag* all_trace_tags() {
static TraceTag tags[] = {
#define X(tag, tag_class, desc) TraceTag::tag,
#include "util/trace_tags.def"
#undef X
};
return tags;
}
#endif
// Helper function to count tags in a class
inline constexpr int count_tags_in_class(TraceTag cls) {
int count = 0;
#define X(tag, tag_class, desc) if (TraceTag::tag_class == cls) count++;
#include "util/trace_tags.def"
#undef X
#define X(tag, tag_class, desc) if (TraceTag::tag_class == cls) count++;
#include "util/trace_tags.def"
#undef X
return count;
}
@ -70,7 +59,7 @@ inline constexpr int count_tags_in_class(TraceTag cls) {
// if (TraceTag::tag_class == cls) { \
// class_tags[idx++] = TraceTag::tag; \
// }
// #include "util/trace_tags.def"
// include "util/trace_tags.def"
// #undef X
// return class_tags;
@ -79,7 +68,7 @@ inline constexpr int count_tags_in_class(TraceTag cls) {
// Find TraceTag by string
// inline TraceTag find_trace_tag_by_string(const char* tag_str) {
// #define X(tag, tag_class, desc) if (strncmp(#tag, tag_str, strlen(#tag)) == 0) return TraceTag::tag;
// #include "util/trace_tags.def"
// include "util/trace_tags.def"
// #undef X
// return TraceTag::Count;
// }