KTestObject Struct Reference

#include <KTest.h>

List of all members.

Public Attributes
char *	name
unsigned	numBytes
unsigned char *	bytes

---

Detailed Description

Definition at line 19 of file KTest.h.

---

Member Data Documentation

unsigned char* KTestObject::bytes

Definition at line 22 of file KTest.h.

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

char* KTestObject::name

Definition at line 20 of file KTest.h.

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

unsigned KTestObject::numBytes

Definition at line 21 of file KTest.h.

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

---

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

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