Minor "make vgtest" changes

diff --git a/CodingReadme b/CodingReadme
index c509f69622a90761b3988d87c37f2d31e6ae6bdf..5769c85f9ce8355c637a9789d14ba3b32b19e10b 100644 (file)
--- 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
@@ -301,6 +302,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

diff --git a/Makefile b/Makefile
index fcd166a1cf765f59012c60bb22592c3c2921f482..05f18695a5f825ef79ff677ebeb5ee4dc4ce8b06 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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 ""