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.

Defines
#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[])

---

Define Documentation

#define MAX   64

Definition at line 21 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 13 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 51 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 22 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 40 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: