search

YosysHQ / sby

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

.sby file comments? #290

Closed AdamKeith1 closed 1 month ago

AdamKeith1 commented 1 month ago

Is there a way to add comments to the .sby file? My design is very large and multiple people will be using this file.

georgerennie commented 1 month ago

Yes you can use bash style comments, everything on a line after a # will be ignored