include ../project_paths.mk

DOTF=tb.f
TOP=tb
YOSYS_SMT_SOLVER=z3
DEFINES=HAZARD3_FORMAL_REGRESSION

include $(SCRIPTS)/formal.mk
