Add coverage header

1 files changed, 12 insertions, 0 deletions

diff --git a/lib/sail_coverage.h b/lib/sail_coverage.h
new file mode 100644
index 00000000..92f78f9c
--- /dev/null
+++ b/lib/sail_coverage.h
@@ -0,0 +1,12 @@
+#ifndef SAIL_COVERAGE_H
+#define SAIL_COVERAGE_H
+
+int sail_coverage_exit(void);
+
+void sail_function_entry(char *function_name, char *sail_file, int l1, int c1, int l2, int c2);
+
+void sail_branch_taken(int branch_id, char *sail_file, int l1, int c1, int l2, int c2);
+
+void sail_branch_reached(int branch_id, char *sail_file, int l1, int c1, int l2, int c2);
+
+#endif