OTHERFLAGS += --include ../dm4free
OTHERFLAGS += --include ../dm4free/_cache
# NOTE!!! cross-directory dependency. The parent makefile sequentializes
# the checking of dm4free with this directory.

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