diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-08-31 23:44:56 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-10-31 15:35:05 +0000 |
| commit | a4f386919bee975c05eced0e56e99dc0d59599ef (patch) | |
| tree | ce674435f9345d9d40427629d083f18a837641f4 /test | |
| parent | e32ae5ae50165593b82cffb6e946532618000933 (diff) | |
| download | klee-a4f386919bee975c05eced0e56e99dc0d59599ef.tar.gz | |
klee-libc: add bcmp
Diffstat (limited to 'test')
| -rw-r--r-- | test/Runtime/FreeStanding/freestanding_only.c | 1 |
1 files changed, 1 insertions, 0 deletions
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); |