diff options
| -rw-r--r-- | CodingReadme | 6 | ||||
| -rw-r--r-- | Makefile | 2 |
2 files changed, 6 insertions, 2 deletions
diff --git a/CodingReadme b/CodingReadme index c509f6962..5769c85f9 100644 --- a/CodingReadme +++ b/CodingReadme @@ -286,7 +286,8 @@ Run all tests with "make config-{clang,gcc,gcc-4.6}": cd ~yosys make clean - make test vloghtb + make test + make vloghtb make install cd ~yosys-bigsim @@ -302,6 +303,9 @@ Run all tests with "make config-{clang,gcc,gcc-4.6}": Then with default config setting: cd ~yosys + make vgtest + + cd ~yosys ./yosys -p 'proc; show' tests/simple/fiedler-cooley.v ./yosys -p 'proc; opt; show' tests/simple/fiedler-cooley.v ./yosys -p 'synth; show' tests/simple/fiedler-cooley.v @@ -320,7 +320,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all vgtest: $(TARGETS) $(EXTRA_TARGETS) - $(VALGRIND) ./yosys -p 'setattr -mod -unset top; hierarchy; proc; opt; memory -nomap; opt -fine; techmap; opt' $$( ls tests/simple/*.v | grep -v repwhile.v ) + $(VALGRIND) ./yosys -p 'setattr -mod -unset top; synth' $$( ls tests/simple/*.v | grep -v repwhile.v ) @echo "" @echo " Passed \"make vgtest\"." @echo "" |