Makefile « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/Makefile

blob: a911e037441a0693dc5aad5ce12326cbd849f161 (plain)

.PHONY: all
all: verify-fstar verify-coq verify-lean verify-hol4

.PHONY: verify-%
verify-%:
	cd $* && $(MAKE) all