YosysHQ / sby

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

Add color handling via click.style and click.echo #221

Closed clairexen closed 1 year ago

clairexen commented 1 year ago

:rainbow:

image

mmicko commented 1 year ago

When testing, I have noticed some non-colored lines in output, those were coming from : https://github.com/YosysHQ/sby/blob/claire/click/sbysrc/sby.py#L181 https://github.com/YosysHQ/sby/blob/claire/click/sbysrc/sby.py#L571

mmicko commented 1 year ago

For each sby_mode file there is log line

task.log(f"""engine_{engine_idx}: {" ".join(engine)}""")

Maybe that one should use magenta color for engine_xxx part ?

lethalbit commented 1 year ago

Is there any reason for using click rather than something such as rich? In my opinion it's in general better for output than click, and handling args with the argsparse package works just as well.

Just wondering.