From 38ea31dd937b57e5aeea42f77d9467229f3c1fb5 Mon Sep 17 00:00:00 2001 From: jar-ben Date: Thu, 16 Jul 2026 22:33:05 +0200 Subject: [PATCH] autosetup: fetch sanity sources from source-files API, not the output tar --- certora_autosetup/setup/sanity.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/certora_autosetup/setup/sanity.py b/certora_autosetup/setup/sanity.py index f6d3b1ba..9f67a144 100644 --- a/certora_autosetup/setup/sanity.py +++ b/certora_autosetup/setup/sanity.py @@ -472,15 +472,14 @@ def _extract_unsat_core_files(self, job_url: str, job_id: str) -> List[Path]: try: base_dir = self._sanity_analysis_dir / job_id reports_dir = base_dir / "Reports" - sources_dir = base_dir / "inputs" prover_api = self.prover_runner.prover_api txt_paths = prover_api.extract_unsat_core_files(job_url, reports_dir) - prover_api.extract_certora_sources(job_url, sources_dir) + prover_api.fetch_job_sources(job_url, base_dir) filtered = [p for p in txt_paths if "rule_not_vacuous" not in p.name] self.log("info", f"Extracted {len(filtered)} UnsatCoreTAC file(s) to {reports_dir}") return filtered except Exception as e: - self.log("warning", f"Failed to extract tar for {job_url}: {e}") + self.log("warning", f"Failed to fetch unsat cores and sources for {job_url}: {e}") return [] def _run_sanity_analyzer(self, txt_path: Path) -> Optional[SanityAnalysisResult]: