Fix cut and paste bug that was showing same eq cond trace for EQUIV a…

…nd DIFF.
GaloisInc · May 8, 2024 · f326524 · f326524
1 parent dfd59cb
commit f326524
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pate_binja/view.py b/pate_binja/view.py
@@ -811,7 +811,7 @@ def showCfarEqCondDialog(self, cfarNode: pate.CFARNode):
             pate.pprint_symbolic(out, cfarNode.predicate)
             d.eqCondField.appendPlainText(out.getvalue())
         d.setTrueTrace(cfarNode.trace_true)
-        d.setFalseTrace(cfarNode.trace_true)
+        d.setFalseTrace(cfarNode.trace_false)
         d.exec()
 
     def edgePopupMenu(self, event: QMouseEvent, edgeTuple: tuple[FlowGraphEdge, bool]):