diff options
author | Matthis Gördel <matthis@posteo.de> | 2022-12-08 22:59:30 +0100 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-12-09 12:07:40 +0000 |
commit | 7a60192729704f2a84645bb70b0c4188f93f7f92 (patch) | |
tree | 8310419494b858c120ff2f358ccc3647677865da /test/Feature/VarArgByVal.c | |
parent | 667ce0f1ef33c32fbe2d1836fc1b334066e244ca (diff) | |
download | klee-7a60192729704f2a84645bb70b0c4188f93f7f92.tar.gz |
fix FileCheck cmd of VarArgByVal test
Diffstat (limited to 'test/Feature/VarArgByVal.c')
-rw-r--r-- | test/Feature/VarArgByVal.c | 5 |
1 files 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> |