# This file is part of the SV-Benchmarks collection of verification tasks:
# https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
#
# SPDX-FileCopyrightText: 2021 F. Schuessele <schuessf@informatik.uni-freiburg.de>
# SPDX-FileCopyrightText: 2021 D. Klumpp <klumpp@informatik.uni-freiburg.de>
#
# SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-Vandikas

LEVEL := ../

include $(LEVEL)/Makefile.config