blob: cda11819a033bd51bbc512c4ec34c83e98798344 [file] [log] [blame]
Guido Vrankenff1b3c92018-01-24 14:37:50 +01001#include <stdint.h>
2void fuzz_mt19937_init(uint32_t seed);
3uint32_t fuzz_mt19937_get(void);
4void fuzz_mt19937_destroy(void);