KOKO\Mimi
18 lines
323 B
C++
18 lines
323 B
C++
#pragma once
|
|
|
|
#include <filesystem>
|
|
|
|
#include <fesa/analysis/linear_static_analysis.hpp>
|
|
|
|
namespace fesa {
|
|
|
|
struct AnalysisRequest final {
|
|
std::filesystem::path input_path;
|
|
std::filesystem::path output_path;
|
|
};
|
|
|
|
[[nodiscard]] AnalysisRunResult run_solver(
|
|
const AnalysisRequest& request);
|
|
|
|
} // namespace fesa
|