Add some status summaries

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
 	touch .stamp
 
 %/.stamp:

verific/opers/Makefile

 TESTS := wide_mux sel_mux select wselect rednor
 
 all: $(addsuffix .status,$(TESTS))
+	grep -H . *.status | sed 's,.status:,\t,; s,PASS,pass,;' | expand -t20
 	touch .stamp
 
 %.status: %.sv run.sh

verific/sva/Makefile

 TESTS := until until_trig seq_or
 
 all: $(addsuffix .status,$(TESTS))
+	grep -H . *.status | sed 's,.status:,\t,; s,PASS,pass,;' | expand -t20
 	touch .stamp
 
 %.status: %.sv run.sh