All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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 74 of file Interpreter.h.

Constructor & Destructor Documentation

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

Definition at line 80 of file Interpreter.h.

Member Data Documentation

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 78 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: