diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-05-17 14:14:38 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-05-17 14:14:38 +0200 |
commit | 76c41fd907a3f7e7d574da4c075f30656e3ede9f (patch) | |
tree | 5f526633ce99c392b8a1bd1a4d95e17934643b5d /test/monniaux/quicksort | |
parent | 7cecc1acf0f32044d702aa9fc983eebb3f57f9fb (diff) | |
download | compcert-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.proto | 1 | ||||
-rw-r--r-- | test/monniaux/quicksort/quicksort_run.c | 2 |
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); |