diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 12:12:07 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 12:12:07 +0200 |
commit | ec3fd16d73d0a712591cb5731d51ba672b9f12dc (patch) | |
tree | 3b4b6c7b6a3226b9d421a00701aca7e109ae7eb4 /test/monniaux/xor_and_mat | |
parent | 33cc0aeef68f3adbb51484dbeafccfca5735f8ee (diff) | |
download | compcert-kvx-ec3fd16d73d0a712591cb5731d51ba672b9f12dc.tar.gz compcert-kvx-ec3fd16d73d0a712591cb5731d51ba672b9f12dc.zip |
fix measures
Diffstat (limited to 'test/monniaux/xor_and_mat')
-rw-r--r-- | test/monniaux/xor_and_mat/int_mat_run.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/monniaux/xor_and_mat/int_mat_run.c b/test/monniaux/xor_and_mat/int_mat_run.c index 541b7f6a..cd902bca 100644 --- a/test/monniaux/xor_and_mat/int_mat_run.c +++ b/test/monniaux/xor_and_mat/int_mat_run.c @@ -54,13 +54,13 @@ int main() { "c1==c5: %s\n" "c1==c6: %s\n" "c1==c7: %s\n" - "c1_time = %" PRIu64 "\n" - "c2_time = %" PRIu64 "\n" - "c3_time = %" PRIu64 "\n" - "c4_time = %" PRIu64 "\n" - "c5_time = %" PRIu64 "\n" - "c6_time = %" PRIu64 "\n" - "c7_time = %" PRIu64 "\n", + "c1_time : %" PRIu64 "\n" + "c2_time : %" PRIu64 "\n" + "c3_time : %" PRIu64 "\n" + "c4_time : %" PRIu64 "\n" + "c5_time : %" PRIu64 "\n" + "c6_time : %" PRIu64 "\n" + "c7_time : %" PRIu64 "\n", xor_and_mat_equal(m, n, c1, p, c2, p)?"true":"false", xor_and_mat_equal(m, n, c1, p, c3, p)?"true":"false", |