diff options
| -rwxr-xr-x | scripts/bench_sum.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/bench_sum.py b/scripts/bench_sum.py index d590ac8..78becaf 100755 --- a/scripts/bench_sum.py +++ b/scripts/bench_sum.py @@ -48,7 +48,7 @@ sets = {"glibcs": ["glibc", "glibc-noThreadCache", "glibc-noFalsesharing", "nofs": ["glibc", "glibc-noFalsesharing", "glibc-noFalsesharingClever", "TCMalloc", "TCMalloc-NoFalsesharing"], "ba" : ["glibc", "TCMalloc", "jemalloc", "Hoard"], - "industry" : ["glibc", "llalloc", "TCMalloc", "jemalloc", "tbbmalloc"], + "industry" : ["glibc", "llalloc", "TCMalloc", "jemalloc", "tbbmalloc", "mimalloc"], "science" : ["scalloc", "SuperMalloc", "Mesh", "Hoard"]} # colorize allocs |