# Copyright (C) 2020-2021  The SymbiFlow Authors.
#
# Use of this source code is governed by a ISC-style
# license that can be found in the LICENSE file or at
# https://opensource.org/licenses/ISC
#
# SPDX-License-Identifier:ISC

# The bram test will be enable in a future PR after it's been fixed.

TESTS = consts \
	dffs \
	latches \
	shreg \
	iob_no_flatten \
	full_adder \
	mac_unit \
	multiplier \
	logic \
	mux \
	tribuf \
	fsm \
	pp3_bram #\
#	qlf_k6n10_bram \

include $(shell pwd)/../../Makefile_test.common

consts_verify = true
dffs_verify = true
shreg_verify = true
iob_no_flatten_verify = true
latches_verify = true
full_adder_verify = true
mac_unit_verify = true
multiplier_verify = true
logic_verify = true
mux_verify = true
tribuf_verify = true
fsm_verify = true
pp3_bram_verify = true
#qlf_k6n10_bram_verify = true