diff options
author | Frank Busse <bb0xfb@gmail.com> | 2023-06-05 18:20:16 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-06 14:48:56 +0100 |
commit | 4417ff31b45f540f0efcccd9f042d9a7ad429e6f (patch) | |
tree | 38102f2505e440b98cda95b5184717cdb681972f /tools | |
parent | a1edff4a0dbad80907a482eea062a58d6c595830 (diff) | |
download | klee-4417ff31b45f540f0efcccd9f042d9a7ad429e6f.tar.gz |
ktest-gen: remove unused function
Diffstat (limited to 'tools')
-rw-r--r-- | tools/ktest-gen/ktest-gen.cpp | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/ktest-gen/ktest-gen.cpp b/tools/ktest-gen/ktest-gen.cpp index 93e428a9..5c2f3d80 100644 --- a/tools/ktest-gen/ktest-gen.cpp +++ b/tools/ktest-gen/ktest-gen.cpp @@ -36,17 +36,6 @@ static void push_obj(KTest *b, const char *name, unsigned total_bytes, memcpy(o->bytes, bytes, total_bytes); } -static void push_range(KTest *b, const char *name, unsigned value) { - KTestObject *o = &b->objects[b->numObjects++]; - assert(b->numObjects < MAX); - - o->name = strdup(name); - o->numBytes = 4; - o->bytes = (unsigned char *)malloc(o->numBytes); - - *(unsigned *)o->bytes = value; -} - void print_usage_and_exit(char *program_name) { fprintf(stderr, "%s: Tool for generating a ktest file from concrete input, e.g., for using a concrete crashing input as a ktest seed.\n" |