diff options
| -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> |