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

Merge pull request #6017 from YosysHQ/krys/tidying

Browse source 
Minor tidying for docs
This commit is contained in:
Miodrag Milanović 2026-07-09 06:32:06 +00:00 • committed by GitHub
commit 8838213c3d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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");