From 53a1552ab05aa10c8fc2b3bdea434a27daedddc3 Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Fri, 17 Apr 2026 13:52:44 -0700
Subject: [PATCH] timing_arc full_name

Signed-off-by: James Cherry <cherry@parallaxsw.com>
---
 search/Property.cc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/search/Property.cc b/search/Property.cc
index 322cf00c..bef9ebb0 100644
--- a/search/Property.cc
+++ b/search/Property.cc
@@ -42,6 +42,7 @@
 #include "Sta.hh"
 #include "StringUtil.hh"
 #include "TimingArc.hh"
+#include "TimingRole.hh"
 #include "Transition.hh"
 #include "Units.hh"
 #include "power/Power.hh"
@@ -1152,10 +1153,11 @@ Properties::getProperty(TimingArcSet *arc_set,
     if (arc_set->isWire())
       return PropertyValue("wire");
     else {
-      std::string name = sta::format("{} {} -> {}",
+      std::string name = sta::format("{} {} -> {} {}",
                                      arc_set->libertyCell()->name(),
                                      arc_set->from()->name(),
-                                     arc_set->to()->name());
+                                     arc_set->to()->name(),
+                                     arc_set->role()->to_string());
       return PropertyValue(name);
     }
   }