00001 #ifndef INSTRUMENTATION_H_INCLUDED_ 00002 #define INSTRUMENTATION_H_INCLUDED_ 00003 00004 #include "ooo_instrumentation.h" 00005 #include "dyn_analysis_instr.h" 00006 #include "helper.h" 00007 00008 #endif /* INSTRUMENTATION_H_INCLUDED_ */ 00009 00010 /* ex: set softtabstop=2 tabstop=2 shiftwidth=2 expandtab: */