diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-30 14:50:51 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
| commit | 5409532fa8e41143cc511068b2061c49aa2bde69 (patch) | |
| tree | 98f6f5ca4f307d671004e47f5115fbc5f4035b3c /test | |
| parent | 670ea6b70d2ee0a998f05624cbef041a489450b3 (diff) | |
| download | klee-5409532fa8e41143cc511068b2061c49aa2bde69.tar.gz | |
Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`
Diffstat (limited to 'test')
| -rw-r--r-- | test/Concrete/_testingUtils.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/Concrete/_testingUtils.c b/test/Concrete/_testingUtils.c index fa395820..d51c6969 100644 --- a/test/Concrete/_testingUtils.c +++ b/test/Concrete/_testingUtils.c @@ -69,12 +69,11 @@ int main(int argc, char *argv[]) printf("print_i1(0)\n"); print_i1(0); // CHECK: i1(0) - // CHECK_NEXT: 0 + // CHECK-NEXT: 0 printf("print_i1(1)\n"); print_i1(1); // CHECK: i1(1) - // CHECK_NEXT: 1 - + // CHECK-NEXT: 1 } #endif |