aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/quicksort
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/quicksort
parent7cecc1acf0f32044d702aa9fc983eebb3f57f9fb (diff)
downloadcompcert-kvx-76c41fd907a3f7e7d574da4c075f30656e3ede9f.tar.gz
compcert-kvx-76c41fd907a3f7e7d574da4c075f30656e3ede9f.zip
Measures to CSV done
Diffstat (limited to 'test/monniaux/quicksort')
-rw-r--r--test/monniaux/quicksort/make.proto1
-rw-r--r--test/monniaux/quicksort/quicksort_run.c2
2 files changed, 2 insertions, 1 deletions
diff --git a/test/monniaux/quicksort/make.proto b/test/monniaux/quicksort/make.proto
index 4af771e5..fe2f906b 100644
--- a/test/monniaux/quicksort/make.proto
+++ b/test/monniaux/quicksort/make.proto
@@ -1,2 +1,3 @@
objdeps: [{name: quicksort_run, compiler: gcc}]
target: quicksort
+measures: [quicksort_time]
diff --git a/test/monniaux/quicksort/quicksort_run.c b/test/monniaux/quicksort/quicksort_run.c
index f9e1b871..88747d17 100644
--- a/test/monniaux/quicksort/quicksort_run.c
+++ b/test/monniaux/quicksort/quicksort_run.c
@@ -13,7 +13,7 @@ int main (void) {
quicksort(vec, len);
quicksort_time = get_cycle() - quicksort_time;
printf("sorted=%s\n"
- "quicksort_time=%" PRIu64 "\n",
+ "quicksort_time:%" PRIu64 "\n",
data_vec_is_sorted(vec, len)?"true":"false",
quicksort_time);
free(vec);