Add start flag for verific tests

verific/.gitignore

 /.stamp
+.start
\ No newline at end of file

verific/chparam/Makefile

@@ -40,9 +40,10 @@ test5.status: test5.out
           echo PASS > $@) || echo FAIL > $@
 
 test1.out test2.out test3.out test4.out test5.out: test.ys top.v top.vhd
+	touch .start
 	@yosys -q -q test.ys
 
 clean:
-	rm -f *.status *.out .stamp
+	rm -f *.status *.out .stamp .start
 
 .PHONY: all clean

verific/opers/Makefile

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

verific/sva/Makefile

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

verific/vhdl/Makefile

@@ -3,10 +3,11 @@ all: test.status
 	touch .stamp
 
 test.status: bar.vhd foo.vhd tb.sv test.ys top.vhd
+	touch .start
 	yosys -ql test.log test.ys
 	grep '^SAT .*: SUCCESS' test.log && echo PASS > test.status || echo FAIL > test.status
 
 clean:
-	rm -f test.status test.log .stamp
+	rm -f test.status test.log .stamp .start
 
 .PHONY: all clean