diff options
| author | Davit Grigoryan <[email protected]> | 2026-04-19 03:35:21 +0000 |
|---|---|---|
| committer | Davit Grigoryan <[email protected]> | 2026-04-19 03:35:21 +0000 |
| commit | 41d57f85442b53f3ce9d8f81a44e1ec4296e6f41 (patch) | |
| tree | bfa839c1b6fe7f53467fcad4cf248cb0ce8a2dde /src/abstract_hardware_model.h | |
| parent | 966b202df2441204386bad4d8bcd2c1d47aedd36 (diff) | |
add option for dbg prints
Diffstat (limited to 'src/abstract_hardware_model.h')
| -rw-r--r-- | src/abstract_hardware_model.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/abstract_hardware_model.h b/src/abstract_hardware_model.h index 3f7eac3..698c896 100644 --- a/src/abstract_hardware_model.h +++ b/src/abstract_hardware_model.h @@ -1404,7 +1404,7 @@ class checkpoint { unsigned radnom; }; // Debug print macro for ITS (disabled by default) -#define AWARE_DEBUG_PRINT 1 +#define AWARE_DEBUG_PRINT 0 #define AWARE_DPRINTF(...) \ if (AWARE_DEBUG_PRINT) { \ printf(__VA_ARGS__); \ |