diff options
author | Matthew Sotoudeh <matthew@masot.net> | 2024-05-16 15:15:40 -0700 |
---|---|---|
committer | Matthew Sotoudeh <matthew@masot.net> | 2024-05-16 15:15:40 -0700 |
commit | 92996a3671732b6c883b325414a1e313786d48d6 (patch) | |
tree | 94b29907c5e167ca44ebd8e232ba9e3f44a7e58a /imc/libimc/libimc.h | |
parent | 54c09d54c0c170f1369751f8bf5a8a0b771a167c (diff) |
checker
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)); |