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 ( )

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: