diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:21:26 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 05:21:26 +0800 |
| commit | 593a94a3c13aff82b31fd6c61e0ae07b97a2e426 (patch) | |
| tree | e58a8954b00d412c5f5c5e80bda6b31029dbe138 /proofsearch/include/atp/utils | |
| parent | 9a5dd39accb75618dc40b5b4f4a3c059cacf6e04 (diff) | |
| download | rcc-project-593a94a3c13aff82b31fd6c61e0ae07b97a2e426.tar.gz rcc-project-593a94a3c13aff82b31fd6c61e0ae07b97a2e426.tar.xz | |
style: reformat codebase with consistent indentation
Diffstat (limited to 'proofsearch/include/atp/utils')
| -rw-r--r-- | proofsearch/include/atp/utils/hash_utils.h | 1 | ||||
| -rw-r--r-- | proofsearch/include/atp/utils/logger.h | 16 |
2 files changed, 7 insertions, 10 deletions
diff --git a/proofsearch/include/atp/utils/hash_utils.h b/proofsearch/include/atp/utils/hash_utils.h index 4531fa6..ae31f43 100644 --- a/proofsearch/include/atp/utils/hash_utils.h +++ b/proofsearch/include/atp/utils/hash_utils.h @@ -16,7 +16,6 @@ * along with this program. If not, see <https://www.gnu.org/licenses/>. */ - #pragma once /// @file hash_utils.h diff --git a/proofsearch/include/atp/utils/logger.h b/proofsearch/include/atp/utils/logger.h index 95d3dd2..de77c54 100644 --- a/proofsearch/include/atp/utils/logger.h +++ b/proofsearch/include/atp/utils/logger.h @@ -16,7 +16,6 @@ * along with this program. If not, see <https://www.gnu.org/licenses/>. */ - #pragma once /// @file logger.h @@ -28,16 +27,15 @@ #define ATP_LOG_LEVEL 2 // 0=TRACE, 1=DEBUG, 2=INFO, 3=WARN, 4=ERROR #endif -#define ATP_LOG(level, level_str, fmt, ...) \ - do { \ - if constexpr (level >= ATP_LOG_LEVEL) { \ - std::fprintf(stderr, "[%s] " fmt "\n", level_str, \ - ##__VA_ARGS__); \ - } \ +#define ATP_LOG(level, level_str, fmt, ...) \ + do { \ + if constexpr (level >= ATP_LOG_LEVEL) { \ + std::fprintf(stderr, "[%s] " fmt "\n", level_str, ##__VA_ARGS__); \ + } \ } while (0) #define ATP_TRACE(fmt, ...) ATP_LOG(0, "TRACE", fmt, ##__VA_ARGS__) #define ATP_DEBUG(fmt, ...) ATP_LOG(1, "DEBUG", fmt, ##__VA_ARGS__) -#define ATP_INFO(fmt, ...) ATP_LOG(2, "INFO", fmt, ##__VA_ARGS__) -#define ATP_WARN(fmt, ...) ATP_LOG(3, "WARN", fmt, ##__VA_ARGS__) +#define ATP_INFO(fmt, ...) ATP_LOG(2, "INFO", fmt, ##__VA_ARGS__) +#define ATP_WARN(fmt, ...) ATP_LOG(3, "WARN", fmt, ##__VA_ARGS__) #define ATP_ERROR(fmt, ...) ATP_LOG(4, "ERROR", fmt, ##__VA_ARGS__) |