YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387 stars 73 forks source link

Error references non-existing variable #152

Closed DaveDavenport closed 2 years ago

DaveDavenport commented 2 years ago

This error seems invalid and throws an (unwanted) error when throwing an error:

https://github.com/YosysHQ/sby/blob/master/sbysrc/sby_design.py#L100

    def find_property_by_cellname(self, cell_name, trans_dict=dict()):
        # backends may need to mangle names irreversibly, so allow applying
        # the same transformation here
        for prop in self:
            if cell_name == prop.name.translate(str.maketrans(trans_dict)):
                return prop
        raise KeyError(f"No such property: {smt2_name}")

smt2_name is not valid at this point.