systemverilog-plugin/tests/Makefile

# Copyright 2020-2022 F4PGA Authors
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
# SPDX-License-Identifier: Apache-2.0

TESTS = counter \
		break_continue \
		separate-compilation \
		debug-flag \
		report-flag \
		defines \
		defaults \
		formal

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

counter_verify = true
break_continue_verify = $(call diff_test,break_continue,out)
separate-compilation_verify = true
debug-flag_verify = true
report-flag_verify = true
defaults_verify = true
defines_verify = true
formal_verify = true