merge from dev

This commit is contained in:
Daan 2025-05-21 15:07:22 -07:00
commit cf7fa1cf65
7 changed files with 14 additions and 9 deletions

View file

@ -343,6 +343,7 @@ int main(int argc, char** argv) {
mi_free(json);
}
#endif
mi_collect(true);
mi_stats_print(NULL);
#endif
//bench_end_program();