diff options
Diffstat (limited to 'imc/libimc/libimc.h')
-rw-r--r-- | imc/libimc/libimc.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/imc/libimc/libimc.h b/imc/libimc/libimc.h new file mode 100644 index 0000000..8777883 --- /dev/null +++ b/imc/libimc/libimc.h @@ -0,0 +1,18 @@ +#pragma once + +#include <stdint.h> +#include <stdio.h> +#include <assert.h> +#include <string.h> +#include <stdlib.h> +#include <stddef.h> + +typedef uint64_t choice_t; +typedef uint64_t hash_t; + +choice_t choose(choice_t n, hash_t hash); +void report_error(); +void check_exit_normal(); +extern void check_main(); + +void register_resetter(void (*resetter)(void)); |