diff options
author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 14:20:36 -0700 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:17 -0700 |
commit | ba5528f112ec091ed1352e81c52c6b4c243bb90f (patch) | |
tree | f0a74d86abc76fb6f75987808361cc64a3d69e96 | |
parent | cc364493808ba1453d6ea84124f16ace0e975194 (diff) | |
download | klee-ba5528f112ec091ed1352e81c52c6b4c243bb90f.tar.gz |
XFAIL LargeReturnTypes.cpp on Darwin, it depends indirectly on using libstdcxx.
-rw-r--r-- | test/Feature/LargeReturnTypes.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/Feature/LargeReturnTypes.cpp b/test/Feature/LargeReturnTypes.cpp index caa345fc..274da05e 100644 --- a/test/Feature/LargeReturnTypes.cpp +++ b/test/Feature/LargeReturnTypes.cpp @@ -5,6 +5,12 @@ * (i.e. structs). In this test case, fstream::ftellg() returns a * streampos (an {i64, i64} pair) which is implicitly converted to a size_t. */ +// This test currently doesn't work on darwin because this isn't how things work +// in libc++. This test should be rewritten to not depend on an external +// dependency. +// +// XFAIL: darwin + #include <fstream> using namespace std; |