From 2a75a6d6fdb665d92bafee75cb9c08ca3cc05ea1 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 12 Oct 2023 11:16:18 +0100
Subject: Refactor invocation of old pass manager into legacy function

---
 lib/Module/Instrument.cpp | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 lib/Module/Instrument.cpp

(limited to 'lib/Module/Instrument.cpp')

diff --git a/lib/Module/Instrument.cpp b/lib/Module/Instrument.cpp
new file mode 100644
index 00000000..bbb5df7c
--- /dev/null
+++ b/lib/Module/Instrument.cpp
@@ -0,0 +1,19 @@
+//===-- Instrument.cpp ------------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+#include "ModuleHelper.h"
+
+using namespace klee;
+
+void klee::checkModule(bool DontVerfify, llvm::Module *module) { assert(0); }
+
+void klee::instrument(bool CheckDivZero, bool CheckOvershift,
+                      llvm::Module *module) {
+  assert(0);
+}
\ No newline at end of file
-- 
cgit 1.4.1