Added "make vgtest"

diff --git a/Makefile b/Makefile
index 29c6113ff1c1be079fc81ccd7fe0bc1ed6d0b461..6dde27a9f63f2d6b6654ed5f079a19f12b0fd4c5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -226,6 +226,11 @@ test: $(TARGETS) $(EXTRA_TARGETS)
        cd tests/memories && bash run-test.sh
        cd tests/sat && bash run-test.sh
 
+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 )
+
 vloghtb: $(TARGETS) $(EXTRA_TARGETS)
        cd tests/vloghtb && bash run-test.sh