From 31e75fdf1e277bbf961287706b06eab8136c6cd0 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 24 May 2017 17:38:12 +0100 Subject: Refactor file opening code out of `main.cpp` and into `klee_open_output_file()` function so that it can be used by the Z3Solver. --- include/klee/Internal/Support/FileHandling.h | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 include/klee/Internal/Support/FileHandling.h (limited to 'include') diff --git a/include/klee/Internal/Support/FileHandling.h b/include/klee/Internal/Support/FileHandling.h new file mode 100644 index 00000000..bee06b9b --- /dev/null +++ b/include/klee/Internal/Support/FileHandling.h @@ -0,0 +1,19 @@ +//===-- FileHandling.h ------------------------------------------*- C++ -*-===// +// +// The KLEE Symbolic Virtual Machine +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +#ifndef __KLEE_FILE_HANDLING_H__ +#define __KLEE_FILE_HANDLING_H__ +#include "llvm/Support/raw_ostream.h" +#include + +namespace klee { +llvm::raw_fd_ostream *klee_open_output_file(std::string &path, + std::string &error); +} + +#endif -- cgit 1.4.1