|
klee
|

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) |
| KTest * | kTest_fromFile (const char *path) |
| int | kTest_toFile (KTest *, const char *path) |
| unsigned | kTest_numBytes (KTest *) |
| void | kTest_free (KTest *) |
| typedef struct KTestObject KTestObject |
| void kTest_free | ( | KTest * | bo | ) |
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().

| 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().


| unsigned kTest_getCurrentVersion | ( | ) |
Definition at line 67 of file KTest.cpp.
References KTEST_VERSION.
Referenced by kTest_fromFile().

| int kTest_isKTestFile | ( | const char * | path | ) |
Definition at line 82 of file KTest.cpp.
References kTest_checkHeader().

| unsigned kTest_numBytes | ( | KTest * | bo | ) |
Definition at line 222 of file KTest.cpp.
References KTestObject::numBytes, KTest::numObjects, and KTest::objects.
Referenced by main().

| int kTest_toFile | ( | KTest * | bo, |
| 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().

