Add sv-benchmarks community as copyright holder to seq-mthreaded

Did multiple changes to the tasks between 2014 and 2020

Author: lembergerth

c/eca-rers2012/License.txt

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label00.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label01.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label02.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label03.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label04.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label05.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label06.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

c/eca-rers2012/Problem01_label07.c

@@ -1,3 +1,10 @@
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+
 int calculate_output(int);
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));