ROSE  0.11.31.0
BinaryConcolic.h
1 #ifndef ROSE_BinaryAnalysis_Concolic_H
2 #define ROSE_BinaryAnalysis_Concolic_H
3 
4 // The one header to rule them all -- i.e., all the concolic testing.
5 
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>
17 
18 #endif