Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:aaronpuchert:Backports:SLE-15
klee
0013-Fix-test-case-using-unsupported-CHECK_NEXT...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch of Package klee
From: Martin Nowack <m.nowack@imperial.ac.uk> Date: Mon, 30 Oct 2023 14:50:51 +0000 Subject: Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT` Patch-mainline: no References: llvm16 Signed-off-by: Jiri Slaby <jslaby@suse.cz> --- test/Concrete/_testingUtils.c | 5 ++--- 1 file 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 -- 2.43.0
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor