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