.PHONY: reproduce test

reproduce:
	python3 -B tools/reproduce.py

test:
	python3 -B tests/verify.py
