From 7ad366f363d23b0aea788fca69349e50180f5f78 Mon Sep 17 00:00:00 2001
From: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
Date: Sat, 4 Aug 2018 23:14:50 +0200
Subject: Added libcxx flag

---
 test/CXX/symex/libc++/cout.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test/CXX/symex/libc++/cout.cpp

(limited to 'test/CXX/symex/libc++/cout.cpp')

diff --git a/test/CXX/symex/libc++/cout.cpp b/test/CXX/symex/libc++/cout.cpp
new file mode 100644
index 00000000..2539b67f
--- /dev/null
+++ b/test/CXX/symex/libc++/cout.cpp
@@ -0,0 +1,9 @@
+// RUN: sh %S/compile_with_libcxx.sh "%llvmgxx" "%s" "%S" "%t" "%klee" "%libcxx_include"
+
+#include <iostream>
+
+int main(int argc, char** args){
+  std::cout << "cout" << std::endl;
+  std::cerr << "cerr" << std::endl;
+  return 0;
+}
-- 
cgit 1.4.1