.PHONY: test verify clean
test: verify clean

verify:
	./verify_all.sh
clean:
	-rm verify.*