LinuxExitStatus.h

#ifndef ROSE_BinaryAnalysis_Concolic_LinuxExitStatus_H
#define ROSE_BinaryAnalysis_Concolic_LinuxExitStatus_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>

#include <Rose/BinaryAnalysis/Concolic/ExecutionManager.h>
#include <string>
#include <vector>

namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {

class LinuxExitStatus: public ExecutionManager {
public:
    typedef Sawyer::SharedPointer<LinuxExitStatus> Ptr;

protected:
    explicit LinuxExitStatus(const DatabasePtr &db);

public:
    ~LinuxExitStatus();

    static Ptr create(const std::string databaseUrl, const boost::filesystem::path &executableName,
                      const std::vector<std::string> &arguments);

    static Ptr instance(const std::string& databaseUri, const std::string &testSuiteName = "");

    virtual void run() override;
};

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

#endif
#endif