ROSE  0.11.145.0
Callback.h
1 #ifndef ROSE_BinaryAnalysis_Concolic_Callback_H
2 #define ROSE_BinaryAnalysis_Concolic_Callback_H
3 #include <featureTests.h>
4 #ifdef ROSE_ENABLE_CONCOLIC_TESTING
5 
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>
10 
11 namespace Rose {
12 namespace BinaryAnalysis {
13 namespace Concolic {
14 
16 namespace Callback {
17 } // namespace
18 
19 } // namespace
20 } // namespace
21 } // namespace
22 
23 #endif
24 #endif
Main namespace for the ROSE library.