From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 25 Jul 2014 11:15:46 +0000 (+0200)
Subject: Added "make vgtest"
X-Git-Tag: yosys-0.4~431
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1834af5e5382de67860f5714746566123c4d6b53;p=yosys.git

Added "make vgtest"
---

diff --git a/Makefile b/Makefile
index 29c6113ff..6dde27a9f 100644
--- 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