From 69d9d269c770404a9ab2cb7965efd87b273a75e5 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 3 Sep 2020 20:06:31 +0100
Subject: Added support for klee_open_merge and klee_close_merge in replay,
 together with a test case.

---
 runtime/Runtest/intrinsics.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'runtime')

diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c
index f82bd554..e9f66ed1 100644
--- a/runtime/Runtest/intrinsics.c
+++ b/runtime/Runtest/intrinsics.c
@@ -190,3 +190,7 @@ void klee_abort() {
 void klee_print_expr(const char *msg, ...) { }
 
 void klee_set_forking(unsigned enable) { }
+
+
+void klee_open_merge() { }
+void klee_close_merge() { }
-- 
cgit 1.4.1