Add # of refuted nodes to status bar display

runtimeverification · Aug 6, 2024 · c47859d · c47859d
1 parent e72b530
commit c47859d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pyk/src/pyk/proof/reachability.py b/pyk/src/pyk/proof/reachability.py
@@ -512,9 +512,10 @@ def one_line_summary(self) -> str:
         terminal = len(self.terminal)
         stuck = len(self.kcfg.stuck)
         passed = len([cover for cover in self.kcfg.covers() if cover.target.id == self.target])
+        refuted = len(self.node_refutations)
         return (
             super().one_line_summary
-            + f'|{nodes} nodes|{pending} pending|{passed} passed|{failing} failing|{branches} branches|{vacuous} vacuous|{terminal} terminal|{stuck} stuck'
+            + f'|{nodes} nodes|{pending} pending|{passed} passed|{failing} failing|{branches} branches|{vacuous} vacuous|{terminal} terminal|{stuck} stuck|{refuted} refuted'
         )
 
     def get_refutation_id(self, node_id: int) -> str: