klee
Public Member Functions | Static Public Attributes | List of all members
klee::OptNonePass Class Reference

Instruments every function that contains a KLEE function call as nonopt. More...

#include <Passes.h>

Inherits llvm::ModulePass.

Public Member Functions

 OptNonePass ()
 
bool runOnModule (llvm::Module &M) override
 

Static Public Attributes

static char ID
 

Detailed Description

Instruments every function that contains a KLEE function call as nonopt.

Definition at line 201 of file Passes.h.

Constructor & Destructor Documentation

◆ OptNonePass()

klee::OptNonePass::OptNonePass ( )
inline

Definition at line 204 of file Passes.h.

Member Function Documentation

◆ runOnModule()

bool klee::OptNonePass::runOnModule ( llvm::Module &  M)
override

Definition at line 23 of file OptNone.cpp.

Member Data Documentation

◆ ID

char klee::OptNonePass::ID
static

Definition at line 203 of file Passes.h.

The documentation for this class was generated from the following files: