From 1badb1e51560be89951fff0cd04cdc59fcf4b1f3 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 12 Oct 2020 22:51:24 +0100
Subject: Support C coverage when sail_exit is used

---
 lib/rts.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/rts.c b/lib/rts.c
index 16a2eca4..c1da2097 100644
--- a/lib/rts.c
+++ b/lib/rts.c
@@ -10,9 +10,12 @@ static uint64_t g_elf_entry;
 uint64_t g_cycle_count = 0;
 static uint64_t g_cycle_limit;
 
+extern void model_pre_exit();
+
 unit sail_exit(unit u)
 {
   fprintf(stderr, "[Sail] Exiting after %" PRIu64 " cycles\n", g_cycle_count);
+  model_pre_exit();
   exit(EXIT_SUCCESS);
   return UNIT;
 }
-- 
cgit v1.2.3