klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
gen-random-bout.cpp File Reference
#include <assert.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/Internal/ADT/KTest.h"
Include dependency graph for gen-random-bout.cpp:

Go to the source code of this file.

Macros

#define MAX   64
 

Functions

static int getint (char *i)
 
static void push_obj (KTest *b, const char *name, unsigned non_zero_bytes, unsigned total_bytes)
 
static void push_range (KTest *b, const char *name, unsigned value)
 
int main (int argc, char *argv[])
 

Macro Definition Documentation

#define MAX   64

Definition at line 25 of file gen-random-bout.cpp.

Referenced by main(), push_obj(), and push_range().

Function Documentation

static int getint ( char *  i)
static

Definition at line 17 of file gen-random-bout.cpp.

Referenced by main().

Here is the caller graph for this function:

int main ( int  argc,
char *  argv[] 
)

Definition at line 55 of file gen-random-bout.cpp.

References KTest::args, getint(), kTest_toFile(), MAX, KTest::numArgs, KTest::numObjects, KTest::objects, push_obj(), push_range(), KTest::symArgvLen, and KTest::symArgvs.

Here is the call graph for this function:

static void push_obj ( KTest b,
const char *  name,
unsigned  non_zero_bytes,
unsigned  total_bytes 
)
static

Definition at line 26 of file gen-random-bout.cpp.

References KTestObject::bytes, MAX, KTestObject::name, KTestObject::numBytes, KTest::numObjects, and KTest::objects.

Referenced by main().

Here is the caller graph for this function:

static void push_range ( KTest b,
const char *  name,
unsigned  value 
)
static

Definition at line 44 of file gen-random-bout.cpp.

References KTestObject::bytes, MAX, KTestObject::name, KTestObject::numBytes, KTest::numObjects, and KTest::objects.

Referenced by main().

Here is the caller graph for this function: