logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

yosys-witness - display a witness trace in human readable format

Author

       This manual page was written by Daniel Gröber <dxld@darkboxed.org> for the Debian project and may be used
       by others.

                                                   04 May 2025                                   YOSYS-SMTBMC(1)

Commands

aiw2yw Convert an AIGER witness trace into a Yosys witness trace.

       display
              Display a Yosys witness trace in a human readable format.

       stats  Display statistics of a Yosys witness trace.

       yw2aiw Convert a Yosys witness trace into an AIGER witness trace.

       yw2yw  Transform a Yosys witness trace.

Name

yosys-witness - display a witness trace in human readable format

Options

--help Show this message and exit.

Synopsis

yosys-witness [OPTIONS] COMMAND [ARGS]...

See Also