instrumenter_strategies.cpp File Reference

Strategies for picking the abstract events to instrument. More...

#include "goto2graph.h"
#include <fstream>

Include dependency graph for instrumenter_strategies.cpp:

Go to the source code of this file.

Detailed Description

Strategies for picking the abstract events to instrument.

Definition in file instrumenter_strategies.cpp.