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 25 of file SeedInfo.h.

Constructor & Destructor Documentation

◆ SeedInfo()

klee::SeedInfo::SeedInfo ( KTest _input)

Definition at line 34 of file SeedInfo.h.

Member Function Documentation

◆ getNextInput()

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

Definition at line 24 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:

◆ patchSeed()

Member Data Documentation

◆ assignment

Assignment klee::SeedInfo::assignment

Definition at line 27 of file SeedInfo.h.

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

◆ input

KTest* klee::SeedInfo::input

Definition at line 28 of file SeedInfo.h.

Referenced by getNextInput().

◆ inputPosition

unsigned klee::SeedInfo::inputPosition

Definition at line 29 of file SeedInfo.h.

Referenced by getNextInput().

◆ used

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

Definition at line 30 of file SeedInfo.h.

Referenced by getNextInput().

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