Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Commit

Permalink
Use LicenseRef for seq-mthreaded licenses
Browse files Browse the repository at this point in the history
  • Loading branch information
@lembergerth
lembergerth committed Nov 4, 2020
1 parent 48ecfde commit c07093b
Show file tree
Hide file tree
Showing 405 changed files with 403 additions and 458 deletions.
0 c/combinations/LICENSE_pals.txt → ...censeRef-BSD-3-Clause-Attribution-CMU.txt
View file
File renamed without changes.
2 changes: 1 addition & 1 deletion c/combinations/Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ include $(LEVEL)/Makefile.config

license-pals:
reuse addheader --template header.jinja2 --copyright "The SV-Benchmarks Community" --year 2014-2020 --license Apache-2.0 pals_lcr.*c
reuse addheader --template header.jinja2 --copyright "Carnegie Mellon University" --year 2013 --license "SEE LICENSE IN LICENSE_pals.txt" pals_lcr.*c
reuse addheader --template header.jinja2 --copyright "Carnegie Mellon University" --year 2013 --license "LicenseRef-BSD-3-Clause-Attribution-CMU" pals_lcr.*c

tasks:
./generate-tasks.py --benchmark-dir ../../ --output-dir ./
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label05.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label09.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.UNBOUNDED.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.UNBOUNDED.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.UNBOUNDED.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.UNBOUNDED.pals+Problem12_label05.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.1.ufo.UNBOUNDED.pals+Problem12_label09.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label00.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label03.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label05.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label06.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label07.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label08.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.BOUNDED-6.pals+Problem12_label09.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.BOUNDED-6.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label00.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label03.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label05.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label06.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label07.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label08.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3.ufo.UNBOUNDED.pals+Problem12_label09.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3.ufo.UNBOUNDED.pals.c", 3, "r
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3_overflow.ufo.UNBOUNDED.pals.
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3_overflow.ufo.UNBOUNDED.pals.
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3_overflow.ufo.UNBOUNDED.pals.
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label05.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3_overflow.ufo.UNBOUNDED.pals.
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.3_overflow.ufo.UNBOUNDED.pals+Problem12_label09.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.3_overflow.ufo.UNBOUNDED.pals.
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.BOUNDED-8.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.BOUNDED-8.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.BOUNDED-8.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.BOUNDED-8.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.BOUNDED-8.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.BOUNDED-8.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.BOUNDED-8.pals+Problem12_label05.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.BOUNDED-8.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.BOUNDED-8.pals+Problem12_label09.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.BOUNDED-8.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.UNBOUNDED.pals+Problem12_label01.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.UNBOUNDED.pals+Problem12_label02.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
2 changes: 1 addition & 1 deletion c/combinations/pals_lcr.4.1.ufo.UNBOUNDED.pals+Problem12_label04.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void reach_error() { __assert_fail("0", "pals_lcr.4.1.ufo.UNBOUNDED.pals.c", 3,
// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
//
// SPDX-License-Identifier: Apache-2.0
// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU

/* Generated by CIL v. 1.6.0 */
/* print_CIL_Input is true */
Expand Down
Loading

0 comments on commit c07093b

Please sign in to comment.