klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ExecutorTimers.cpp File Reference
#include "Common.h"
#include "CoreStats.h"
#include "Executor.h"
#include "PTree.h"
#include "StatsTracker.h"
#include "ExecutorTimerInfo.h"
#include "klee/ExecutionState.h"
#include "klee/Internal/Module/InstructionInfoTable.h"
#include "klee/Internal/Module/KInstruction.h"
#include "klee/Internal/Module/KModule.h"
#include "klee/Internal/System/Time.h"
#include "llvm/IR/Function.h"
#include "llvm/Support/CommandLine.h"
#include <unistd.h>
#include <signal.h>
#include <sys/time.h>
#include <math.h>
Include dependency graph for ExecutorTimers.cpp:

Go to the source code of this file.

Classes

class  HaltTimer
 

Functions

cl::opt< double > MaxTime ("max-time", cl::desc("Halt execution after the specified number of seconds (0=off)"), cl::init(0))
 
static void onAlarm (int)
 
static void setupHandler ()
 

Variables

static const double kSecondsPerTick = .1
 
static volatile unsigned timerTicks = 0
 
unsigned dumpStates = 0
 
unsigned dumpPTree = 0
 

Function Documentation

cl::opt<double> MaxTime ( "max-time"  ,
cl::  desc"Halt execution after the specified number of seconds (0=off)",
cl::  init
)

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

Here is the caller graph for this function:

static void onAlarm ( int  )
static

Definition at line 70 of file ExecutorTimers.cpp.

References timerTicks.

Referenced by setupHandler().

Here is the caller graph for this function:

static void setupHandler ( )
static

Definition at line 75 of file ExecutorTimers.cpp.

References kSecondsPerTick, and onAlarm().

Referenced by klee::Executor::initTimers(), and klee::Executor::processTimers().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

unsigned dumpPTree = 0

Definition at line 67 of file ExecutorTimers.cpp.

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

unsigned dumpStates = 0

Definition at line 67 of file ExecutorTimers.cpp.

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

const double kSecondsPerTick = .1
static

Definition at line 63 of file ExecutorTimers.cpp.

Referenced by klee::Executor::processTimers(), and setupHandler().

volatile unsigned timerTicks = 0
static

Definition at line 64 of file ExecutorTimers.cpp.

Referenced by onAlarm(), and klee::Executor::processTimers().