FSTAR_ROOT ?= ../../..
include $(FSTAR_ROOT)/mk/test.mk
