From 1834af5e5382de67860f5714746566123c4d6b53 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 25 Jul 2014 13:15:46 +0200 Subject: [PATCH] Added "make vgtest" --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.30.2