From 92996a3671732b6c883b325414a1e313786d48d6 Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthew@masot.net>
Date: Thu, 16 May 2024 15:15:40 -0700
Subject: checker

---
 imc/libimc/libimc.h | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 imc/libimc/libimc.h

(limited to 'imc/libimc/libimc.h')

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));
-- 
cgit v1.2.3