From b0aef8ebc9d53945549fc477558a4437baa46e2d Mon Sep 17 00:00:00 2001 From: Lukas Zaoral Date: Tue, 13 Apr 2021 16:39:56 +0200 Subject: tests: Invoke tools through their corresponding macros --- test/Feature/PreferCex.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Feature') diff --git a/test/Feature/PreferCex.c b/test/Feature/PreferCex.c index 2d424206..39337cf5 100644 --- a/test/Feature/PreferCex.c +++ b/test/Feature/PreferCex.c @@ -1,7 +1,7 @@ // RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --exit-on-error %t1.bc -// RUN: ktest-tool %t.klee-out/test000001.ktest | FileCheck %s +// RUN: %ktest-tool %t.klee-out/test000001.ktest | FileCheck %s #include #include -- cgit 1.4.1