update option names

This commit is contained in:
Daan Leijen 2025-01-31 12:11:25 -08:00
parent dd4b6fc078
commit 274bcb61db
4 changed files with 7 additions and 7 deletions

View file

@ -303,12 +303,12 @@ int main(int argc, char** argv) {
mi_option_enable(mi_option_visit_abandoned);
#endif
#if !defined(NDEBUG) && !defined(USE_STD_MALLOC)
mi_option_set(mi_option_arena_reserve, 32 * 1024 /* in kib = 32MiB */);
mi_option_set(mi_option_purge_delay,1);
// mi_option_set(mi_option_arena_reserve, 32 * 1024 /* in kib = 32MiB */);
// mi_option_set(mi_option_purge_delay,1);
#endif
#if defined(NDEBUG) && !defined(USE_STD_MALLOC)
// mi_option_set(mi_option_purge_delay,-1);
mi_option_set(mi_option_reclaim_on_free, 0);
mi_option_set(mi_option_page_reclaim_on_free, 0);
#endif
#ifndef USE_STD_MALLOC
mi_stats_reset();