From f1ffbfcadfeb013c1619af9d98770872c1ec230f Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 15 May 2020 11:19:52 +0100
Subject: Add coverage header

---
 lib/sail_coverage.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 lib/sail_coverage.h

(limited to 'lib')

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