This repository was archived by the owner on Oct 3, 2021. It is now read-only.
File tree Expand file tree Collapse file tree 11 files changed +11
-11
lines changed Expand file tree Collapse file tree 11 files changed +11
-11
lines changed Original file line number Diff line number Diff line change 11This file is part of the SV-Benchmarks collection of verification tasks:
22https://github.com/sosy-lab/sv-benchmarks
33
4- SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55
66SPDX-License-Identifier: Apache-2.0
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
Original file line number Diff line number Diff line change 11# This file is part of the SV-Benchmarks collection of verification tasks:
22# https://github.com/sosy-lab/sv-benchmarks
33#
4- # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks community
4+ # SPDX-FileCopyrightText: 2011-2020 The SV-Benchmarks Community
55#
66# SPDX-License-Identifier: Apache-2.0
77
You can’t perform that action at this time.
0 commit comments