From a4f386919bee975c05eced0e56e99dc0d59599ef Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Sat, 31 Aug 2019 23:44:56 +0200 Subject: klee-libc: add bcmp --- test/Runtime/FreeStanding/freestanding_only.c | 1 + 1 file changed, 1 insertion(+) (limited to 'test') diff --git a/test/Runtime/FreeStanding/freestanding_only.c b/test/Runtime/FreeStanding/freestanding_only.c index 0f03c84c..a6d1b0d4 100644 --- a/test/Runtime/FreeStanding/freestanding_only.c +++ b/test/Runtime/FreeStanding/freestanding_only.c @@ -26,6 +26,7 @@ int main(int argc, char **argv) { assert(memcmp(src, dst, LENGTH) == 0); // CHECK-NOT: calling external: memcmp + // CHECK-NOT: calling external: bcmp assert(*src == 42); assert(*src == *dst); -- cgit 1.4.1