FSTAR_ROOT?=../..
include $(FSTAR_ROOT)/mk/test.mk
OTHERFLAGS += --z3rlimit_factor 2
