From: Jean Privat Date: Mon, 3 Mar 2014 15:26:14 +0000 (-0500) Subject: benchs: rename bench_nitg-g_options-hardening to slower X-Git-Tag: v0.6.5~57^2~2 X-Git-Url: http://nitlanguage.org benchs: rename bench_nitg-g_options-hardening to slower Signed-off-by: Jean Privat --- diff --git a/benchmarks/bench_engines.sh b/benchmarks/bench_engines.sh index 6abf7bf..5106aa4 100755 --- a/benchmarks/bench_engines.sh +++ b/benchmarks/bench_engines.sh @@ -231,7 +231,7 @@ function bench_nitg-g_options() plot "$name.gnu" } -bench_nitg-g_options "hardening" --hardening +bench_nitg-g_options "slower" --hardening bench_nitg-g_options "nocheck" --no-check-covariance --no-check-initialization --no-check-assert --no-check-autocast --no-check-other function bench_nitg-s_options()