yosys-witness1
Display a witness trace in human readable format
Usage
yosys-witness [OPTIONS]
COMMAND
[ARGS] ...
Options
-
--help -
Show this message and exit.
Commands
|
Convert an AIGER witness trace into a Yosys witness trace. |
|---|---|
|
Display a Yosys witness trace in a human readable format. |
|
Display statistics of a Yosys witness trace. |
|
Convert a Yosys witness trace into an AIGER witness trace. |
|
Transform a Yosys witness trace. |
Releases
2 releases since Debian 12 (Bookworm); the text changed 1 time.