From e8639dfafdaa2bdf62f89b17b15bf2376f281766 Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Thu, 2 Jul 2020 06:28:14 -0700
Subject: [PATCH] get_property clock is_generated

---
 search/Property.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/search/Property.cc b/search/Property.cc
index 2877fc86..386d551f 100644
--- a/search/Property.cc
+++ b/search/Property.cc
@@ -916,7 +916,9 @@ getProperty(Clock *clk,
   else if (stringEqual(property, "sources"))
     return PropertyValue(&clk->pins());
   else if (stringEqual(property, "propagated"))
-    return PropertyValue(clk->isPropagated() ? "1" : "0");
+    return PropertyValue(clk->isPropagated());
+  else if (stringEqual(property, "is_generated"))
+    return PropertyValue(clk->isGenerated());
   else
     throw PropertyUnknown("clock", property);
 }