aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/tacle-bench-lift
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-05-17 14:14:38 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-05-17 14:14:38 +0200
commit76c41fd907a3f7e7d574da4c075f30656e3ede9f (patch)
tree5f526633ce99c392b8a1bd1a4d95e17934643b5d /test/monniaux/tacle-bench-lift
parent7cecc1acf0f32044d702aa9fc983eebb3f57f9fb (diff)
downloadcompcert-kvx-76c41fd907a3f7e7d574da4c075f30656e3ede9f.tar.gz
compcert-kvx-76c41fd907a3f7e7d574da4c075f30656e3ede9f.zip
Measures to CSV done
Diffstat (limited to 'test/monniaux/tacle-bench-lift')
-rw-r--r--test/monniaux/tacle-bench-lift/make.proto1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/tacle-bench-lift/make.proto b/test/monniaux/tacle-bench-lift/make.proto
index 58dd5c39..c4849bab 100644
--- a/test/monniaux/tacle-bench-lift/make.proto
+++ b/test/monniaux/tacle-bench-lift/make.proto
@@ -1,3 +1,4 @@
intro: "ALL_CFLAGS = -include kill_pragma.h"
objdeps: [{name: liftlibcontrol, compiler: both}, {name: liftlibio, compiler: both}]
target: lift
+measures: [cycles]