klee::Interpreter::InterpreterOptions Struct Reference

#include <Interpreter.h>

Public Member Functions
	InterpreterOptions ()

Public Attributes
unsigned	MakeConcreteSymbolic

Detailed Description

InterpreterOptions - Options varying the runtime behavior during interpretation.

Definition at line 80 of file Interpreter.h.

Constructor & Destructor Documentation

InterpreterOptions()

klee::Interpreter::InterpreterOptions::InterpreterOptions ( )

inline

Definition at line 86 of file Interpreter.h.

Member Data Documentation

MakeConcreteSymbolic

unsigned klee::Interpreter::InterpreterOptions::MakeConcreteSymbolic

A frequency at which to make concrete reads return constrained symbolic values. This is used to test the correctness of the symbolic execution on concrete programs.

Definition at line 84 of file Interpreter.h.

Referenced by klee::Executor::executeMemoryOperation(), main(), and klee::Executor::replaceReadWithSymbolic().

---

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

• /Users/cristic/klee/include/klee/Core/Interpreter.h