mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-14 11:15:40 +00:00
Code Activity

Docs: Minor tidying

Browse source
This commit is contained in:
Krystine Sherwin 2026-07-09 15:50:58 +12:00
parent b35b6706f8
commit a9d25ab808
No known key found for this signature in database
3 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
docs/source/code_examples/intro/Makefile
View file

@ -13,3 +13,4 @@ $(DOTS): counter.v counter.ys mycells.lib
.PHONY: clean
clean:
@rm -f *.dot
@rm -f synth.v

8
docs/source/yosys_internals/extending_yosys/test_suites.rst
View file

@ -18,8 +18,8 @@ tests.
.. warning::
There are limitations when using `Ninja` as generator, so we suggest using
`Unix Makefiles` to make running tests in parallel possible. However, it is
There are limitations when using ``Ninja`` as generator, so we suggest using
``Unix Makefiles`` to make running tests in parallel possible. However, it is
possible to use it directly by running:
.. code:: console
@ -27,8 +27,8 @@ tests.
cd tests
make -j9
Please note that in this case default build directory is `build` but can be
overwritten by providing `BUILD_DIR` variable.
Please note that in this case default build directory is ``build`` but can be
overwritten by providing :makevar:`BUILD_DIR` variable.
Vanilla tests
~~~~~~~~~~~~~

4
passes/equiv/equiv_opt.cc
View file

@ -63,6 +63,10 @@ struct EquivOptPass:public ScriptPass
log(" -nocheck\n");
log(" disable running check before and after the command under test.\n");
log("\n");
log(" -ignore-unknown-cells\n");
log(" ignore all cells that can not be matched to a SAT model during\n");
log(" equiv_induct.\n");
log("\n");
log("The following commands are executed by this verification command:\n");
help_script();
log("\n");