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