GUI: Shorten condition trace indicators so they don't get truncated i…

…n CFAR nodes.
GaloisInc · Jan 22, 2025 · fb32e79 · fb32e79
1 parent 65c1387
commit fb32e79
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pate_binja/pate.py b/pate_binja/pate.py
@@ -903,13 +903,13 @@ def pprint_node_contents(self, pre: str = '', out: IO = sys.stdout, show_ce_trac
         # Indicate if there are conditions traces
         conditionTraceTypes = []
         if self.equivalenceConditionTrace:
-            conditionTraceTypes.append('equivalence')
+            conditionTraceTypes.append('eq')
         if self.assertedConditionTrace:
             conditionTraceTypes.append('asserted')
         if self.assumedConditionTrace:
             conditionTraceTypes.append('assumed')
         if conditionTraceTypes:
-            out.write('Condition traces for: ')
+            out.write('Traces: ')
             out.write(', '.join(conditionTraceTypes))
 
     def pprint_node_domain(self, pre: str = '', out: IO = sys.stdout,