From 38a66ccb95e650f188b025c69dd27e164e807b08 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 26 Jul 2013 09:04:02 -0400 Subject: [PATCH] bench: remove bench of option --generic-resolution-tree --- 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 ae8cc5b..8514ca0 100755 --- a/benchmarks/bench_engines.sh +++ b/benchmarks/bench_engines.sh @@ -270,7 +270,7 @@ function bench_nitg-s_options() plot "$name.gnu" } -bench_nitg-s_options "slower" --hardening --no-inline-intern --generic-resolution-tree --no-union-attribute --no-shortcut-equal --no-shortcut-range +bench_nitg-s_options "slower" --hardening --no-inline-intern --no-union-attribute --no-shortcut-equal --no-shortcut-range bench_nitg-s_options "nocheck" --no-check-covariance --no-check-initialization --no-check-assert --no-check-autocast --no-check-other bench_nitg-s_options "faster" --inline-coloring-numbers bench_nitg-s_options "typing" --bm-typing --phand-typing -- 1.7.9.5