1 #ifndef ROSE_BinaryAnalysis_Concolic_Callback_H
2 #define ROSE_BinaryAnalysis_Concolic_Callback_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_CONCOLIC_TESTING
6 #include <Rose/BinaryAnalysis/Concolic/Callback/BasicTypes.h>
7 #include <Rose/BinaryAnalysis/Concolic/Callback/MemoryExit.h>
8 #include <Rose/BinaryAnalysis/Concolic/Callback/MemoryInput.h>
9 #include <Rose/BinaryAnalysis/Concolic/Callback/MemoryTime.h>
12 namespace BinaryAnalysis {
Main namespace for the ROSE library.