From 67805a68b233342f76011a74951bb59911721d74 Mon Sep 17 00:00:00 2001
From: Matthis Gördel <matthis@posteo.de>
Date: Thu, 8 Dec 2022 22:57:55 +0100
Subject: add missing FileCheck command to test

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

(limited to 'test')

diff --git a/test/Merging/unexpected_close.c b/test/Merging/unexpected_close.c
index c6cf7398..56818f1e 100644
--- a/test/Merging/unexpected_close.c
+++ b/test/Merging/unexpected_close.c
@@ -1,6 +1,6 @@
 // RUN: %clang -emit-llvm -g -c -o %t.bc %s
 // RUN: rm -rf %t.klee-out
-// RUN: %klee --output-dir=%t.klee-out --use-merge --search=nurs:covnew --max-time=2 %t.bc
+// RUN: %klee --output-dir=%t.klee-out --use-merge --search=nurs:covnew --max-time=2 %t.bc 2>&1 | FileCheck %s
 
 // CHECK: ran into a close at
 // CHECK: generated tests = 2{{$}}
-- 
cgit 1.4.1