#include <Interpreter.h>

Public Member Functions
	ModuleOptions (const std::string &_LibraryDir, const std::string &_EntryPoint, const std::string &_OptSuffix, bool _Optimize, bool _CheckDivZero, bool _CheckOvershift)

Public Attributes
std::string	LibraryDir

std::string	EntryPoint

std::string	OptSuffix

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 55 of file Interpreter.h.

Constructor & Destructor Documentation

◆ ModuleOptions()

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

inline

Definition at line 63 of file Interpreter.h.

Member Data Documentation

◆ CheckDivZero

bool klee::Interpreter::ModuleOptions::CheckDivZero

Definition at line 60 of file Interpreter.h.

Referenced by klee::KModule::instrument(), and klee::KModule::optimiseAndPrepare().

◆ CheckOvershift

bool klee::Interpreter::ModuleOptions::CheckOvershift

Definition at line 61 of file Interpreter.h.

Referenced by klee::KModule::instrument(), and klee::KModule::optimiseAndPrepare().

◆ EntryPoint

std::string klee::Interpreter::ModuleOptions::EntryPoint

Definition at line 57 of file Interpreter.h.

Referenced by klee::KModule::optimiseAndPrepare(), and klee::Executor::setModule().

◆ LibraryDir

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

Definition at line 56 of file Interpreter.h.

Referenced by main(), and klee::Executor::setModule().

◆ Optimize

bool klee::Interpreter::ModuleOptions::Optimize

Definition at line 59 of file Interpreter.h.

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

◆ OptSuffix

std::string klee::Interpreter::ModuleOptions::OptSuffix

Definition at line 58 of file Interpreter.h.

Referenced by klee::Executor::setModule().

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

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

Public Member Functions

Public Attributes