From 7a60192729704f2a84645bb70b0c4188f93f7f92 Mon Sep 17 00:00:00 2001
From: Matthis Gördel <matthis@posteo.de>
Date: Thu, 8 Dec 2022 22:59:30 +0100
Subject: fix FileCheck cmd of VarArgByVal test

---
 test/Feature/VarArgByVal.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/test/Feature/VarArgByVal.c b/test/Feature/VarArgByVal.c
index 43c815b5..42718bb9 100644
--- a/test/Feature/VarArgByVal.c
+++ b/test/Feature/VarArgByVal.c
@@ -4,8 +4,9 @@
 // RUN: %clang %s -emit-llvm %O0opt -c -g -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --exit-on-error --output-dir=%t.klee-out %t1.bc
-// RUN FileCheck %s klee-last/assembly.ll
-// CHECK: @test(i32 -1, %struct.bar* byval
+// RUN: FileCheck %s --input-file=%t.klee-out/assembly.ll
+// CHECK: @test1({{.*}}, i32 -1, %struct.foo* byval{{.*}} %struct.bar* byval
+// CHECK: @test2({{.*}}, %struct.foo* byval{{.*}} %struct.bar* byval
 
 #include <stdarg.h>
 #include <assert.h>
-- 
cgit 1.4.1