Fix pastis-benchmark plot command for the proxy

quarkslab · Aug 28, 2023 · 5530692 · 5530692
1 parent f504f68
commit 5530692
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pastisbenchmark/plotter.py b/pastisbenchmark/plotter.py
@@ -313,7 +313,8 @@ def _calcul_smt_stats(self, campaign: CampaignResult, cov_results: List[Coverage
                     stot, sat, unsat, to = sstats["total_solving_attempt"], sstats["SAT"], sstats["UNSAT"], sstats["TIMEOUT"]
                     coved, uncoved = len(sstats["branch_reverted"]), len(sstats["branch_not_solved"])
                     ratio = cov_number / sat if sat else cov_number
-                    entry = SmtEntry(engine=fuzzer, sat=sat, unsat=unsat, timeout=to, total=stot, avg_query=sovt/stot,
+                    avg_query = sovt / stot if stot else -1.0
+                    entry = SmtEntry(engine=fuzzer, sat=sat, unsat=unsat, timeout=to, total=stot, avg_query=avg_query,
                                      cov_sat_ratio=ratio, branch_solved=coved, branch_not_solved=uncoved)
                     entries.append(entry)
             except FileNotFoundError: