klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
KTest.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  KTestObject
 
struct  KTest
 

Typedefs

typedef struct KTestObject KTestObject
 
typedef struct KTest KTest
 

Functions

unsigned kTest_getCurrentVersion ()
 
int kTest_isKTestFile (const char *path)
 
KTestkTest_fromFile (const char *path)
 
int kTest_toFile (KTest *, const char *path)
 
unsigned kTest_numBytes (KTest *)
 
void kTest_free (KTest *)
 

Typedef Documentation

typedef struct KTest KTest

Definition at line 25 of file KTest.h.

typedef struct KTestObject KTestObject

Definition at line 18 of file KTest.h.

Function Documentation

void kTest_free ( KTest )

Definition at line 229 of file KTest.cpp.

References KTest::args, KTestObject::bytes, KTestObject::name, KTest::numArgs, KTest::numObjects, and KTest::objects.

Referenced by main().

Here is the caller graph for this function:

KTest* kTest_fromFile ( const char *  path)

Definition at line 94 of file KTest.cpp.

References KTest::args, KTestObject::bytes, kTest_checkHeader(), kTest_getCurrentVersion(), KTestObject::name, KTest::numArgs, KTestObject::numBytes, KTest::numObjects, KTest::objects, read_string(), read_uint32(), KTest::symArgvLen, KTest::symArgvs, and KTest::version.

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

unsigned kTest_getCurrentVersion ( )

Definition at line 67 of file KTest.cpp.

References KTEST_VERSION.

Referenced by kTest_fromFile().

Here is the caller graph for this function:

int kTest_isKTestFile ( const char *  path)

Definition at line 82 of file KTest.cpp.

References kTest_checkHeader().

Here is the call graph for this function:

unsigned kTest_numBytes ( KTest )

Definition at line 222 of file KTest.cpp.

References KTestObject::numBytes, KTest::numObjects, and KTest::objects.

Referenced by main().

Here is the caller graph for this function:

int kTest_toFile ( KTest ,
const char *  path 
)

Definition at line 178 of file KTest.cpp.

References KTest::args, KTestObject::bytes, KTEST_MAGIC, KTEST_VERSION, KTestObject::name, KTest::numArgs, KTestObject::numBytes, KTest::numObjects, KTest::objects, KTest::symArgvLen, KTest::symArgvs, write_string(), and write_uint32().

Referenced by main(), and KleeHandler::processTestCase().

Here is the call graph for this function:

Here is the caller graph for this function: