about summary refs log tree commit diff homepage
path: root/test
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2023-10-30 14:50:51 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2024-02-08 13:17:19 +0000
commit5409532fa8e41143cc511068b2061c49aa2bde69 (patch)
tree98f6f5ca4f307d671004e47f5115fbc5f4035b3c /test
parent670ea6b70d2ee0a998f05624cbef041a489450b3 (diff)
downloadklee-5409532fa8e41143cc511068b2061c49aa2bde69.tar.gz
Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`
Diffstat (limited to 'test')
-rw-r--r--test/Concrete/_testingUtils.c5
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