diff options
| author | Zachary Snow <zach@zachjs.com> | 2021-03-16 10:54:22 -0400 |
|---|---|---|
| committer | Zachary Snow <zachary.j.snow@gmail.com> | 2021-03-17 15:54:00 -0400 |
| commit | c8b45a4a826efe88e17928b3d6f526dc2866312a (patch) | |
| tree | dcb665f5103c6800b9064846b87b51bb67c06bf0 /manual | |
| parent | f71c2dcca6b63ad3cbd3d5b6f51f67f9cd85f03e (diff) | |
| download | yosys-c8b45a4a826efe88e17928b3d6f526dc2866312a.tar.gz yosys-c8b45a4a826efe88e17928b3d6f526dc2866312a.tar.bz2 yosys-c8b45a4a826efe88e17928b3d6f526dc2866312a.zip | |
bugpoint: add runner option
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/command-reference-manual.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex index e2d54cb03..a3264b4cd 100644 --- a/manual/command-reference-manual.tex +++ b/manual/command-reference-manual.tex @@ -656,6 +656,9 @@ are specified, all parts of design will be removed. -updates try to remove process updates from syncs. + + -runner "<prefix>" + child process wrapping command, e.g., "timeout 30", or valgrind. \end{lstlisting} \section{cd -- a shortcut for 'select -module <name>'} |