Computer Laboratory

Assertion.cpp File Reference

Detailed Description

Code for instrumenting TESLA assertion sites.

Definition in file Assertion.cpp.

#include "Assertion.h"
#include "Automaton.h"
#include "Debug.h"
#include "Instrumentation.h"
#include "Manifest.h"
#include "Names.h"
#include "State.h"
#include "Transition.h"
#include "tesla.pb.h"
#include <libtesla.h>
#include "llvm/IR/Function.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include "llvm/Support/raw_ostream.h"
#include <set>
+ Include dependency graph for Assertion.cpp:

Go to the source code of this file.

Namespaces

namespace  tesla