diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 09:45:25 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 09:45:25 +0200 |
| commit | 1e6ab01a46c89dfb2d79303f69d8716cd4a5a903 (patch) | |
| tree | 672d8318ce2f68f9f091cba614dc5edfaf3fceaf /test/monniaux/binary_search | |
| parent | 6cf0154c1f00e0479c9bb1561944cb3b238a9e26 (diff) | |
| download | compcert-kvx-1e6ab01a46c89dfb2d79303f69d8716cd4a5a903.tar.gz compcert-kvx-1e6ab01a46c89dfb2d79303f69d8716cd4a5a903.zip | |
have one with specific position
Diffstat (limited to 'test/monniaux/binary_search')
| -rw-r--r-- | test/monniaux/binary_search/binary_search.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/binary_search/binary_search.c b/test/monniaux/binary_search/binary_search.c index 1fbc37b8..c8131c38 100644 --- a/test/monniaux/binary_search/binary_search.c +++ b/test/monniaux/binary_search/binary_search.c @@ -43,7 +43,7 @@ int main () { timestamp1 = get_current_cycle()-timestamp1; cycle_t timestamp2 = get_current_cycle(); - index pos = my_bsearch(buf, n, 1501); + index pos = my_bsearch(buf, n, 1502); timestamp2 = get_current_cycle()-timestamp2; printf("position: %d\nrandom fill cycles: %" PRIu64 "\nsearch cycles: %" PRIu64 "\n", pos, timestamp1, timestamp2); |