All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::SeedInfo Class Reference

#include <SeedInfo.h>

Collaboration diagram for klee::SeedInfo:

Public Member Functions

 SeedInfo (KTest *_input)
KTestObjectgetNextInput (const MemoryObject *mo, bool byName)
void patchSeed (const ExecutionState &state, ref< Expr > condition, TimingSolver *solver)

Public Attributes

Assignment assignment
unsigned inputPosition
std::set< struct KTestObject * > used

Detailed Description

Definition at line 24 of file SeedInfo.h.

Constructor & Destructor Documentation

klee::SeedInfo::SeedInfo ( KTest _input)

Definition at line 33 of file SeedInfo.h.

Member Function Documentation

KTestObject * SeedInfo::getNextInput ( const MemoryObject mo,
bool  byName 

Definition at line 23 of file SeedInfo.cpp.

References input, inputPosition, klee::klee_warning_once(), KTestObject::name, klee::MemoryObject::name, KTestObject::numBytes, KTest::numObjects, KTest::objects, klee::MemoryObject::size, and used.

Referenced by klee::Executor::executeMakeSymbolic().

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

Assignment klee::SeedInfo::assignment

Definition at line 26 of file SeedInfo.h.

Referenced by klee::Executor::executeMakeSymbolic(), and patchSeed().

KTest* klee::SeedInfo::input

Definition at line 27 of file SeedInfo.h.

Referenced by getNextInput().

unsigned klee::SeedInfo::inputPosition

Definition at line 28 of file SeedInfo.h.

Referenced by getNextInput().

std::set<struct KTestObject*> klee::SeedInfo::used

Definition at line 29 of file SeedInfo.h.

Referenced by getNextInput().

The documentation for this class was generated from the following files: