KTest Struct Reference

#include <KTest.h>

Collaboration diagram for KTest:

Public Attributes
unsigned	version
unsigned	numArgs
char **	args
unsigned	symArgvs
unsigned	symArgvLen
unsigned	numObjects
KTestObject *	objects

Detailed Description

Definition at line 25 of file KTest.h.

Member Data Documentation

args

char** KTest::args

Definition at line 30 of file KTest.h.

Referenced by kTest_free(), kTest_fromFile(), kTest_toFile(), main(), and KleeHandler::processTestCase().

numArgs

unsigned KTest::numArgs

Definition at line 29 of file KTest.h.

Referenced by kTest_free(), kTest_fromFile(), kTest_toFile(), main(), and KleeHandler::processTestCase().

numObjects

unsigned KTest::numObjects

Definition at line 35 of file KTest.h.

Referenced by klee::Executor::executeMakeSymbolic(), klee::SeedInfo::getNextInput(), klee_make_symbolic(), kTest_free(), kTest_fromFile(), kTest_numBytes(), kTest_toFile(), main(), KleeHandler::processTestCase(), push_obj(), push_random_obj(), push_range(), and klee::Executor::terminateState().

objects

KTestObject* KTest::objects

Definition at line 36 of file KTest.h.

Referenced by klee::Executor::executeMakeSymbolic(), klee::SeedInfo::getNextInput(), klee_make_symbolic(), kTest_free(), kTest_fromFile(), kTest_numBytes(), kTest_toFile(), main(), KleeHandler::processTestCase(), push_obj(), push_random_obj(), and push_range().

symArgvLen

unsigned KTest::symArgvLen

Definition at line 33 of file KTest.h.

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

symArgvs

unsigned KTest::symArgvs

Definition at line 32 of file KTest.h.

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

version

unsigned KTest::version

Definition at line 27 of file KTest.h.

Referenced by kTest_fromFile().

---

The documentation for this struct was generated from the following file:

• /Users/cristic/klee/include/klee/ADT/KTest.h