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>
Go to the source code of this file.
Namespaces | |
namespace | tesla |