Concolic/Settings.h

#ifndef ROSE_BinaryAnalysis_Concolic_Settings_H
#define ROSE_BinaryAnalysis_Concolic_Settings_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING

#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
#include <Rose/BinaryAnalysis/Concolic/Emulation.h>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {

struct ConcolicExecutorSettings {
    Partitioner2::EngineSettings partitionerEngine;
    Partitioner2::LoaderSettings loader;
    Partitioner2::DisassemblerSettings disassembler;
    Partitioner2::PartitionerSettings partitioner;
    Emulation::RiscOperators::Settings emulationSettings;

    bool traceSemantics;                            
    AddressIntervalSet showingStates;               
    ~ConcolicExecutorSettings();
    ConcolicExecutorSettings();
};

} // namespace
} // namespace
} // namespace

#endif
#endif