Improve logging and console output

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Makefile

 SUBDIRS = verific
 
 all: $(addsuffix /.stamp,$(SUBDIRS))
-	find -name "*.status" | sort | xargs grep -H . | sed 's,.status:,\t,; s,PASS,pass,;' | expand -t40
+	echo; find * -name "*.status" | sort | xargs grep -H . | sed 's,^,    ,; s,.status:,\t,; s,PASS,pass,;' | expand -t40; echo
 	touch .stamp
 
 %/.stamp:

verific/opers/Makefile

@@ -5,7 +5,7 @@ all: $(addsuffix .status,$(TESTS))
 	touch .stamp
 
 %.status: %.sv run.sh
-	-bash run.sh $(basename $@)
+	-bash run.sh $(basename $@) > $(basename $@).log 2>&1
 	test -f $@
 
 clean:

verific/opers/run.sh

@@ -3,7 +3,7 @@
 set -ex
 trap "echo FAIL > $1.status" ERR
 
-yosys -l $1.log -p "
+yosys -p "
 	verific -sv $1.sv
 	verific -import -v top
 	synth -flatten -top top

verific/sva/Makefile

@@ -5,7 +5,7 @@ all: $(addsuffix .status,$(TESTS))
 	touch .stamp
 
 %.status: %.sv run.sh
-	-bash run.sh $(basename $@)
+	-bash run.sh $(basename $@) > $(basename $@).log 2>&1
 	test -f $@
 
 clean:
@@ -14,6 +14,7 @@ clean:
 	rm -f $(addsuffix .pass_??.sby,$(TESTS))
 	rm -f $(addsuffix .fail_??.sby,$(TESTS))
 	rm -f $(addsuffix .status,$(TESTS))
+	rm -f $(addsuffix .log,$(TESTS))
 	rm -f .stamp
 
 .PHONY: all clean