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>
12namespace BinaryAnalysis {