Merge branch 'dev' into dev-slice

This commit is contained in:
Daan Leijen 2022-12-19 18:59:45 -08:00
commit 11ddba7a06
6 changed files with 32 additions and 17 deletions

View file

@ -41,6 +41,7 @@ static void heap_thread_free_huge();
static void test_stl_allocators();
int main() {
mi_stats_reset(); // ignore earlier allocations
heap_thread_free_huge();