klee
|
#include <assert.h>
#include <fcntl.h>
#include <limits.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <time.h>
#include <unistd.h>
#include "klee/ADT/KTest.h"
Go to the source code of this file.
Macros | |
#define | _FILE_OFFSET_BITS 64 |
#define | SMALL_BUFFER_SIZE 64 |
#define | MAX_FILE_SIZES 256 |
#define | MAX 64 |
Functions | |
static void | error_exit (const char *fmt,...) |
static unsigned | get_unsigned (char *i) |
static void | push_random_obj (KTest *b, const char *name, unsigned non_zero_bytes, unsigned total_bytes) |
static void | push_obj (KTest *b, const char *name, unsigned total_bytes, unsigned char *content) |
static void | push_range (KTest *b, const char *name, unsigned value) |
void | create_stat (size_t size, struct stat *s) |
int | main (int argc, char *argv[]) |
#define _FILE_OFFSET_BITS 64 |
Definition at line 10 of file gen-random-bout.cpp.
#define MAX 64 |
Definition at line 54 of file gen-random-bout.cpp.
#define MAX_FILE_SIZES 256 |
Definition at line 30 of file gen-random-bout.cpp.
#define SMALL_BUFFER_SIZE 64 |
Definition at line 27 of file gen-random-bout.cpp.
void create_stat | ( | size_t | size, |
struct stat * | s | ||
) |
Definition at line 96 of file gen-random-bout.cpp.
References error_exit().
Referenced by main().
|
static |
Definition at line 32 of file gen-random-bout.cpp.
Referenced by create_stat(), get_unsigned(), main(), push_obj(), and push_random_obj().
|
static |
Definition at line 42 of file gen-random-bout.cpp.
References error_exit().
Referenced by main().
int main | ( | int | argc, |
char * | argv[] | ||
) |
Definition at line 131 of file gen-random-bout.cpp.
References KTest::args, KTestObject::bytes, create_stat(), error_exit(), get_unsigned(), kTest_toFile(), MAX, MAX_FILE_SIZES, KTestObject::name, KTest::numArgs, KTest::numObjects, KTest::objects, push_obj(), push_random_obj(), push_range(), SMALL_BUFFER_SIZE, KTest::symArgvLen, and KTest::symArgvs.
|
static |
Definition at line 77 of file gen-random-bout.cpp.
References KTestObject::bytes, error_exit(), MAX, KTestObject::name, KTestObject::numBytes, KTest::numObjects, and KTest::objects.
Referenced by main(), and push_range().
|
static |
Definition at line 55 of file gen-random-bout.cpp.
References KTestObject::bytes, error_exit(), MAX, KTestObject::name, KTestObject::numBytes, KTest::numObjects, and KTest::objects.
Referenced by main().
|
static |
Definition at line 92 of file gen-random-bout.cpp.
References push_obj().
Referenced by main().