From 492d0af188b233cbc111255af28960ed54b412e7 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Thu, 6 Feb 2014 11:39:07 +0100
Subject: Fix test case to support new llvm-lit

---
 test/regression/2007-08-08-free-zero.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/test/regression/2007-08-08-free-zero.c b/test/regression/2007-08-08-free-zero.c
index 964889a1..935b04fd 100644
--- a/test/regression/2007-08-08-free-zero.c
+++ b/test/regression/2007-08-08-free-zero.c
@@ -1,6 +1,8 @@
 // RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
 // RUN: %klee %t1.bc
-// RUN: ls klee-last | not grep *.err
+// RUN: ls %T/klee-last | not grep *.err
+
+#include <stdlib.h>
 
 int main() {
   free(0);
-- 
cgit 1.4.1