diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-07 14:47:57 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-07 14:47:57 +0200 |
commit | f0124301f874520bfdf76f16e016ffb2e1a8ca37 (patch) | |
tree | 94c651d95ff939f48869a95fd9ee77533cad9c99 /test/monniaux/division/harness.c | |
parent | c21c794ec0abb307ff4d0948e2a504da936ea602 (diff) | |
download | compcert-kvx-f0124301f874520bfdf76f16e016ffb2e1a8ca37.tar.gz compcert-kvx-f0124301f874520bfdf76f16e016ffb2e1a8ca37.zip |
division
Diffstat (limited to 'test/monniaux/division/harness.c')
-rw-r--r-- | test/monniaux/division/harness.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/monniaux/division/harness.c b/test/monniaux/division/harness.c index 8d7e7d13..b6ce674d 100644 --- a/test/monniaux/division/harness.c +++ b/test/monniaux/division/harness.c @@ -57,7 +57,8 @@ int main() { for(int i=0; i<1000; i++) { uint32_t x = dm_biased_random_uint32(); uint32_t y = dm_biased_random_uint32(); - + if (y == 0) continue; + cycle_t cycle_a, cycle_b, cycle_c; uint32_t q1, q2; @@ -68,7 +69,7 @@ int main() { cycle_c = get_cycle(); if(q1 != q2) { - printf("%u %u\n", q1, q2); + printf("ERREUR %u %u\n", q1, q2); } time_native += cycle_b - cycle_a; |