merge from dev

This commit is contained in:
Daan 2025-05-21 15:13:54 -07:00
commit f2c9967a6e
6 changed files with 13 additions and 9 deletions

View file

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