aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-29 23:24:45 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-29 23:24:45 +0200
commit1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb (patch)
treeb4a6f2f3ce73243b08f9a0c76978b918a2a0f79f
parent3aa45f72a8c8b33087fddab070a069adc5487244 (diff)
downloadcompcert-kvx-1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb.tar.gz
compcert-kvx-1aa0d92ddba4e017f1b8f9aebc1757a8ad77c0eb.zip
take other measurements
-rw-r--r--test/monniaux/complex/make.proto2
-rw-r--r--test/monniaux/float_mat/make.proto2
2 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/complex/make.proto b/test/monniaux/complex/make.proto
index 8870f311..4c3eb019 100644
--- a/test/monniaux/complex/make.proto
+++ b/test/monniaux/complex/make.proto
@@ -1,2 +1,2 @@
target: complex_mat
-measures: [[c1_time, c1]]
+measures: [[c1_time, c1],[c9_time, c9]]
diff --git a/test/monniaux/float_mat/make.proto b/test/monniaux/float_mat/make.proto
index ebdd8930..e775e9b8 100644
--- a/test/monniaux/float_mat/make.proto
+++ b/test/monniaux/float_mat/make.proto
@@ -1,3 +1,3 @@
objdeps: [{name: float_mat_run, compiler: gcc}]
target: float_mat
-measures: [[c2_time, c2]]
+measures: [[c2_time, c2], [c8_time, c8]]