test:
	node ./checker.js

generate_asserts:
	node ./asserts/generator.js

.PHONY: test
