diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-09 17:07:13 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-09 17:07:13 +0100 |
commit | f24d303df6cb125ca19b953bb364955cc6e8c246 (patch) | |
tree | e885cbb64c217ddec1b02a350679b3f2a29d6373 /test/mppa/prng/prng.h | |
parent | 622a211d4ebd47feb4d2c7dfe590d10c6d6ae834 (diff) | |
download | compcert-kvx-f24d303df6cb125ca19b953bb364955cc6e8c246.tar.gz compcert-kvx-f24d303df6cb125ca19b953bb364955cc6e8c246.zip |
Fixed consistency between the different tests mmult, prng and sort
Diffstat (limited to 'test/mppa/prng/prng.h')
-rw-r--r-- | test/mppa/prng/prng.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/mppa/prng/prng.h b/test/mppa/prng/prng.h new file mode 100644 index 00000000..6abdb45a --- /dev/null +++ b/test/mppa/prng/prng.h @@ -0,0 +1,10 @@ +#ifndef __PRNG_H__ +#define __PRNG_H__ + +#include "types.h" + +void srand(uint64_t seed); + +uint64_t randlong(void); + +#endif // __PRNG_H__ |