From a3cb8d1dfd9b841b49fe2a98441469f49d25f4e4 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 27 May 2013 12:56:31 -0400 Subject: [PATCH] benchs: no not bench --phmod-typing --- benchmarks/bench_engines.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/benchmarks/bench_engines.sh b/benchmarks/bench_engines.sh index f0e1f7d..ef0a709 100755 --- a/benchmarks/bench_engines.sh +++ b/benchmarks/bench_engines.sh @@ -267,7 +267,7 @@ function bench_nitg-s_options() 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 "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 --phmod-typing +bench_nitg-s_options "typing" --bm-typing --phand-typing function bench_nitg-e_options() { @@ -293,7 +293,7 @@ function bench_nitg-e_options() bench_nitg-e_options "slower" --hardening --no-inline-intern --no-union-attribute --no-shortcut-equal --no-shortcut-range bench_nitg-e_options "nocheck" --no-check-covariance --no-check-initialization --no-check-assert --no-check-autocast --no-check-other --no-check-erasure-cast bench_nitg-e_options "faster" --inline-coloring-numbers -bench_nitg-e_options "typing" --bm-typing --phand-typing --phmod-typing +bench_nitg-e_options "typing" --bm-typing --phand-typing function bench_nitc_gc() { -- 1.7.9.5