KTest Struct Reference

#include <KTest.h>

Collaboration diagram for KTest:

[legend]

List of all members.

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

---

Detailed Description

Definition at line 26 of file KTest.h.

---

Member Data Documentation

char** KTest::args

Definition at line 31 of file KTest.h.

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

unsigned KTest::numArgs

Definition at line 30 of file KTest.h.

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

unsigned KTest::numObjects

Definition at line 36 of file KTest.h.

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

KTestObject* KTest::objects

Definition at line 37 of file KTest.h.

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

unsigned KTest::symArgvLen

Definition at line 34 of file KTest.h.

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

unsigned KTest::symArgvs

Definition at line 33 of file KTest.h.

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

unsigned KTest::version

Definition at line 28 of file KTest.h.

Referenced by kTest_fromFile().

---

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

• include/klee/Internal/ADT/KTest.h