1 #ifndef ROSE_BinaryAnalysis_Concolic_Callback_BasicTypes_H
2 #define ROSE_BinaryAnalysis_Concolic_Callback_BasicTypes_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_CONCOLIC_TESTING
7 namespace BinaryAnalysis {
Main namespace for the ROSE library.
Reference-counting intrusive smart pointer.