YosysHQ / sby

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

Add sphinx-argparse to generate usage #241

Closed KrystalDelusion closed 12 months ago

KrystalDelusion commented 1 year ago

Move parser generation into a seperate file to avoid import issues with bad python modules during docs gen. With the requirements.txt provided to readthedocs, there shouldn't need to be any other changes? Also I've never been able to run make test so I'm not actually sure if the changes break sby, but they shouldn't.