.PHONY: test test-hash256 test-xof128 test-cxof128 test-aead128 saw-proofs

CRYPTOL ?= cryptol
SAW ?= saw

test: test-hash256 test-xof128 test-cxof128 test-aead128

test-hash256:
	$(CRYPTOL) -c :exhaust TestAsconHash256.cry

test-xof128:
	$(CRYPTOL) -c :exhaust TestAsconXOF128.cry

test-cxof128:
	$(CRYPTOL) -c :exhaust TestAsconCXOF128.cry

test-aead128:
	$(CRYPTOL) -c :exhaust TestAsconAEAD128.cry

saw-proofs:
	$(SAW) verify.saw