diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 11:25:29 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 11:25:29 +0200 |
| commit | d7998266416f7eb35e129c25182c67441ffa2d0a (patch) | |
| tree | 83938803db25672c5d355ea25a3d510c2d9d33df /test/monniaux/binary_search | |
| parent | 54e28b7f1d14292c38cd645886470c08e95e899e (diff) | |
| download | compcert-kvx-d7998266416f7eb35e129c25182c67441ffa2d0a.tar.gz compcert-kvx-d7998266416f7eb35e129c25182c67441ffa2d0a.zip | |
(#141) Started to port the new Makefile to rules.mk. Ported binary_search
Diffstat (limited to 'test/monniaux/binary_search')
| -rw-r--r-- | test/monniaux/binary_search/binary_search.c | 2 | ||||
| -rw-r--r-- | test/monniaux/binary_search/make.proto | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/test/monniaux/binary_search/binary_search.c b/test/monniaux/binary_search/binary_search.c index 4051ebf0..f16d15b8 100644 --- a/test/monniaux/binary_search/binary_search.c +++ b/test/monniaux/binary_search/binary_search.c @@ -118,7 +118,7 @@ int main () { "position2: %d\n" "position3: %d\n" "position4: %d\n" - "random fill cycles: %" PRIu64 "\n" + "randomfill cycles: %" PRIu64 "\n" "search1 cycles: %" PRIu64 "\n" "search2 cycles: %" PRIu64 "\n" "search3 cycles: %" PRIu64 "\n" diff --git a/test/monniaux/binary_search/make.proto b/test/monniaux/binary_search/make.proto deleted file mode 100644 index 337751bb..00000000 --- a/test/monniaux/binary_search/make.proto +++ /dev/null @@ -1,2 +0,0 @@ -target: binary_search -measures: ["random fill", search1] |