From 07f8f42af916adfd48bdd853c3bb67545c018962 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 3 Mar 2014 10:26:14 -0500 Subject: [PATCH] benchs: rename bench_nitg-g_options-hardening to slower Signed-off-by: Jean Privat --- benchmarks/bench_engines.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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() -- 1.7.9.5