search

YosysHQ / sby

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

sby: core: config: cleaned up the error messages #204

Closed lethalbit closed 2 years ago

lethalbit commented 2 years ago

This PR changes most of the generic sby file syntax error: {line} messages to be a little more descriptive.

This did require some minor changes in the order some things were checked in but not enough to cause any differences in parsing.