1 #ifndef ROSE_BinaryAnalysis_Concolic_H
2 #define ROSE_BinaryAnalysis_Concolic_H
6 #include <Concolic/BasicTypes.h>
7 #include <Concolic/ConcolicExecutor.h>
8 #include <Concolic/ConcreteExecutor.h>
9 #include <Concolic/Database.h>
10 #include <Concolic/ExecutionManager.h>
11 #include <Concolic/LinuxExecutor.h>
12 #include <Concolic/LinuxTraceExecutor.h>
13 #include <Concolic/Specimen.h>
14 #include <Concolic/SystemCall.h>
15 #include <Concolic/TestCase.h>
16 #include <Concolic/TestSuite.h>