nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f5ebd11
)
benchs: rename bench_nitg-g_options-hardening to slower
author
Jean Privat
<jean@pryen.org>
Mon, 3 Mar 2014 15:26:14 +0000
(10:26 -0500)
committer
Jean Privat
<jean@pryen.org>
Mon, 3 Mar 2014 15:26:14 +0000
(10:26 -0500)
Signed-off-by: Jean Privat <jean@pryen.org>
benchmarks/bench_engines.sh
patch
|
blob
|
history
diff --git
a/benchmarks/bench_engines.sh
b/benchmarks/bench_engines.sh
index
6abf7bf
..
5106aa4
100755
(executable)
--- 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()