31 #include "llvm/Pass.h"
59 return "TESLA assertion site instrumenter";
66 bool ConvertAssertions(std::set<llvm::CallInst*>&, llvm::Module&);
69 llvm::Function* CreateInstrumentation(
const Automaton&,
77 static void ParseAssertionLocation(
Location *Loc, llvm::CallInst*);
80 llvm::Function *AssertFn = NULL;