10 fs::create_directories(dir, ec);
12 throw std::runtime_error(
"Cannot create MARTY temp directory: " + dir.string() +
" (" + ec.message() +
")");
Core-side adapter exposing MemoryManager-managed MARTY paths to Wilson.
fs::path get_path(MartyPath path_name) override
Retrieves a required MARTY-related path.
fs::path wilson_csv_path(const std::string &model_name) const override
CSV output produced by MARTY for a given model name.
fs::path marty_temp_dir() const override
Writable directory containing MARTY generated files and CSV outputs.