diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-19 13:33:57 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-19 13:33:57 +0100 |
commit | 6c5df17a302e99dec62aa749ffc30745cc7679a4 (patch) | |
tree | 3b0509425b547709fb44645bc375c7faa4595e56 /test/monniaux/quicksort/quicksort.h | |
parent | caa53a3dce35e53ed913557f30aef1f063cf67c0 (diff) | |
download | compcert-kvx-6c5df17a302e99dec62aa749ffc30745cc7679a4.tar.gz compcert-kvx-6c5df17a302e99dec62aa749ffc30745cc7679a4.zip |
quicksort
Diffstat (limited to 'test/monniaux/quicksort/quicksort.h')
-rw-r--r-- | test/monniaux/quicksort/quicksort.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/monniaux/quicksort/quicksort.h b/test/monniaux/quicksort/quicksort.h new file mode 100644 index 00000000..cc73e7c3 --- /dev/null +++ b/test/monniaux/quicksort/quicksort.h @@ -0,0 +1,7 @@ +#include <stdint.h> +#include <stdbool.h> + +typedef uint64_t data; +void quicksort(data *A, int len); +void data_vec_random(data *a, unsigned len); +bool data_vec_is_sorted(const data *a, unsigned len); |