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

summary refs log tree commit diff

path: root/tests/Makefile

blob: ff4baaba0a512941b1136694ba37a69881577206 (plain)

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

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