From 54b5487f3fbe0c33dc4c36410e82fa38a2da681a Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Mon, 28 Sep 2020 17:45:01 +0100
Subject: tests: support .test and introduce %klee-stats

---
 test/Feature/KleeStats.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Feature')

diff --git a/test/Feature/KleeStats.c b/test/Feature/KleeStats.c
index 48305358..4bff2f40 100644
--- a/test/Feature/KleeStats.c
+++ b/test/Feature/KleeStats.c
@@ -1,7 +1,7 @@
 // RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out  %t.bc 2> %t.log
-// RUN: klee-stats --print-more %t.klee-out > %t.stats
+// RUN: %klee-stats --print-more %t.klee-out > %t.stats
 // RUN: FileCheck -check-prefix=CHECK-STATS -input-file=%t.stats %s
 #include "klee/klee.h"
 #include <stdlib.h>
-- 
cgit 1.4.1