get_property clock is_generated

This commit is contained in:
James Cherry 2020-07-02 06:28:14 -07:00
parent 9075688077
commit e8639dfafd
1 changed files with 3 additions and 1 deletions

View File

@ -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);
}