From bc177e9d48719da65d65d76e4c9203f45876b125 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Sep 2014 10:01:17 -0700 Subject: [Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this prevents the hang we are seeing. --- test/Runtime/POSIX/Write2.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test') diff --git a/test/Runtime/POSIX/Write2.c b/test/Runtime/POSIX/Write2.c index edb3e5b2..97d501f6 100644 --- a/test/Runtime/POSIX/Write2.c +++ b/test/Runtime/POSIX/Write2.c @@ -1,6 +1,12 @@ // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error --libc=uclibc --posix-runtime %t.bc --sym-files 1 10 --sym-stdout 2>%t.log +// +// Disable this test on LLVM 3.4 for now, it seems to hang indefinitely when run +// in our Travis CI config. +// +// FIXME: Investigate. +// REQUIRES: not-llvm-3.4 #include #include -- cgit 1.4.1