klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::Interpreter::ModuleOptions Struct Reference

#include <Interpreter.h>

Public Member Functions

 ModuleOptions (const std::string &_LibraryDir, bool _Optimize, bool _CheckDivZero, bool _CheckOvershift)
 

Public Attributes

std::string LibraryDir
 
bool Optimize
 
bool CheckDivZero
 
bool CheckOvershift
 

Detailed Description

ModuleOptions - Module level options which can be set when registering a module with the interpreter.

Definition at line 52 of file Interpreter.h.

Constructor & Destructor Documentation

klee::Interpreter::ModuleOptions::ModuleOptions ( const std::string &  _LibraryDir,
bool  _Optimize,
bool  _CheckDivZero,
bool  _CheckOvershift 
)
inline

Definition at line 58 of file Interpreter.h.

Member Data Documentation

bool klee::Interpreter::ModuleOptions::CheckDivZero

Definition at line 55 of file Interpreter.h.

Referenced by klee::KModule::prepare().

bool klee::Interpreter::ModuleOptions::CheckOvershift

Definition at line 56 of file Interpreter.h.

Referenced by klee::KModule::prepare().

std::string klee::Interpreter::ModuleOptions::LibraryDir

Definition at line 53 of file Interpreter.h.

Referenced by klee::KModule::prepare().

bool klee::Interpreter::ModuleOptions::Optimize

Definition at line 54 of file Interpreter.h.

Referenced by klee::KModule::prepare().


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