KTestObject Struct Reference

#include <KTest.h>

Public Attributes
char *	name
unsigned	numBytes
unsigned char *	bytes

Detailed Description

Definition at line 18 of file KTest.h.

Member Data Documentation

bytes

unsigned char* KTestObject::bytes

Definition at line 21 of file KTest.h.

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

name

char* KTestObject::name

Definition at line 19 of file KTest.h.

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

numBytes

unsigned KTestObject::numBytes

Definition at line 20 of file KTest.h.

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

---

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

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