diff options
author | Matthew Sotoudeh <matthew@masot.net> | 2024-05-28 14:59:23 -0700 |
---|---|---|
committer | Matthew Sotoudeh <matthew@masot.net> | 2024-05-28 14:59:23 -0700 |
commit | 041c96ed89a8e1a583b416180977b0ce5b9b8d48 (patch) | |
tree | e70f3402a7fe634a30c8a7aa03cd61786332f500 /libimc/libimc.h |
Diffstat (limited to 'libimc/libimc.h')
-rw-r--r-- | libimc/libimc.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/libimc/libimc.h b/libimc/libimc.h new file mode 100644 index 0000000..8777883 --- /dev/null +++ b/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)); |