Also do not report debugging information by default.
Change-Id: I5d80a3df3c3ecc16a577d88abe6e37a792add747
#define ST_CB_PRINT_DBG 0x02
#define ST_CB_PRINT_ERR 0x04
#define ST_CB_FORCE_IXFER 0x08
-#define ST_CB_DEFAULT_FLAGS (ST_CB_PRINT_DBG|ST_CB_PRINT_ERR)
+#define ST_CB_DEFAULT_FLAGS (ST_CB_PRINT_ERR)
#define ST_CB_FLAG(F) (cb_info->st_cb_flags & F)
#define ST_CB_DBG ST_CB_PRINT_DBG
#define DO_SKIP_UNPAIRED_PTR_TARGETS 1
#endif
-#define DO_SKIP_INVARIANTS_VIOLATIONS 1
+#define DO_SKIP_INVARIANTS_VIOLATIONS 0
PRIVATE st_alloc_pages *st_alloc_pages_current = NULL;
PRIVATE int st_alloc_buff_available = 0;