about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2023-06-05 18:20:16 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-06-06 14:48:56 +0100
commit4417ff31b45f540f0efcccd9f042d9a7ad429e6f (patch)
tree38102f2505e440b98cda95b5184717cdb681972f /tools
parenta1edff4a0dbad80907a482eea062a58d6c595830 (diff)
downloadklee-4417ff31b45f540f0efcccd9f042d9a7ad429e6f.tar.gz
ktest-gen: remove unused function
Diffstat (limited to 'tools')
-rw-r--r--tools/ktest-gen/ktest-gen.cpp11
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"