search

YosysHQ / sby

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

sby: core: cleaned up section header parsing #206

Closed lethalbit closed 2 years ago

lethalbit commented 2 years ago

This alters how the sby config file section headers are parsed to make arguments for the sections more flexible.

It also fixed some of the awkward error messages related to section arguments.

This addresses the comments @nakengelhardt had in PR #204

jix commented 2 years ago

lgtm