aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/heapsort
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-05-17 12:03:18 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-05-17 12:03:18 +0200
commit4f3b7c0d75fd90ac064419d19d7af2e340d516aa (patch)
tree8e5b880c997c204fdf9b100b4aefbecdced33654 /test/monniaux/heapsort
parente3b4b3280ffd0d57d4f40f5ca253a1c570ddd6c6 (diff)
downloadcompcert-kvx-4f3b7c0d75fd90ac064419d19d7af2e340d516aa.tar.gz
compcert-kvx-4f3b7c0d75fd90ac064419d19d7af2e340d516aa.zip
Adding more measures
Diffstat (limited to 'test/monniaux/heapsort')
-rw-r--r--test/monniaux/heapsort/heapsort_run.c2
-rw-r--r--test/monniaux/heapsort/make.proto1
2 files changed, 2 insertions, 1 deletions
diff --git a/test/monniaux/heapsort/heapsort_run.c b/test/monniaux/heapsort/heapsort_run.c
index 76378067..053822a3 100644
--- a/test/monniaux/heapsort/heapsort_run.c
+++ b/test/monniaux/heapsort/heapsort_run.c
@@ -13,7 +13,7 @@ int main (void) {
heapsort(vec, len);
heapsort_time = get_cycle() - heapsort_time;
printf("sorted=%s\n"
- "heapsort_time=%" PRIu64 "\n",
+ "heapsort_time:%" PRIu64 "\n",
data_vec_is_sorted(vec, len)?"true":"false",
heapsort_time);
free(vec);
diff --git a/test/monniaux/heapsort/make.proto b/test/monniaux/heapsort/make.proto
index edbf0efd..0b5972d6 100644
--- a/test/monniaux/heapsort/make.proto
+++ b/test/monniaux/heapsort/make.proto
@@ -1,2 +1,3 @@
objdeps: [{name: heapsort_run, compiler: gcc}]
target: heapsort
+measures: [heapsort_time]