Add licenses to combinations

Author: lembergerth

c/combinations/LICENSE_pals.txt

@@ -0,0 +1,55 @@
+/**********************************************************************
+
+Copyright (c) 2013 Carnegie Mellon University. All Rights Reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+1. Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following acknowledgments and
+disclaimers.
+
+2. Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+3. The names "Carnegie Mellon University," "SEI" and/or "Software
+Engineering Institute" shall not be used to endorse or promote
+products derived from this software without prior written
+permission. For written permission, please contact
+[email protected].
+
+4. Products derived from this software may not be called "SEI" nor may
+"SEI" appear in their names without prior written permission of
+[email protected].
+
+5. Redistributions of any form whatsoever must retain the following
+acknowledgment:
+
+This material is based upon work funded and supported by the
+Department of Defense under Contract No. FA8721-05-C-0003 with
+Carnegie Mellon University for the operation of the Software
+Engineering Institute, a federally funded research and development
+center.
+
+Any opinions, findings and conclusions or recommendations expressed in
+this material are those of the author(s) and do not necessarily
+reflect the views of the United States Department of Defense.
+
+NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING
+INSTITUTE MATERIAL IS FURNISHEDON AN "AS-IS" BASIS. CARNEGIE MELLON
+UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR
+IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF
+FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
+OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
+MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,
+TRADEMARK, OR COPYRIGHT INFRINGEMENT.
+
+This material has been approved for public release and unlimited
+distribution.
+
+DM-0000575
+
+**********************************************************************/
+

c/combinations/Makefile

@@ -6,5 +6,9 @@ CLANG_WARNINGS := \
 
 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
+
 tasks:
 	./generate-tasks.py --benchmark-dir ../../ --output-dir ./

c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label01.c

@@ -9,60 +9,14 @@ extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
 void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3, "reach_error"); }
 
-/**********************************************************************
-
-Copyright (c) 2013 Carnegie Mellon University. All Rights Reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions are
-met:
-
-1. Redistributions of source code must retain the above copyright
-notice, this list of conditions and the following acknowledgments and
-disclaimers.
-
-2. Redistributions in binary form must reproduce the above copyright
-notice, this list of conditions and the following disclaimer in the
-documentation and/or other materials provided with the distribution.
-
-3. The names "Carnegie Mellon University," "SEI" and/or "Software
-Engineering Institute" shall not be used to endorse or promote
-products derived from this software without prior written
-permission. For written permission, please contact
-[email protected].
-
-4. Products derived from this software may not be called "SEI" nor may
-"SEI" appear in their names without prior written permission of
-[email protected].
-
-5. Redistributions of any form whatsoever must retain the following
-acknowledgment:
-
-This material is based upon work funded and supported by the
-Department of Defense under Contract No. FA8721-05-C-0003 with
-Carnegie Mellon University for the operation of the Software
-Engineering Institute, a federally funded research and development
-center.
-
-Any opinions, findings and conclusions or recommendations expressed in
-this material are those of the author(s) and do not necessarily
-reflect the views of the United States Department of Defense.
-
-NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING
-INSTITUTE MATERIAL IS FURNISHEDON AN "AS-IS" BASIS. CARNEGIE MELLON
-UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR
-IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF
-FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
-OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
-MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,
-TRADEMARK, OR COPYRIGHT INFRINGEMENT.
-
-This material has been approved for public release and unlimited
-distribution.
-
-DM-0000575
-
-**********************************************************************/
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label02.c

@@ -9,60 +9,14 @@ extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
 void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3, "reach_error"); }
 
-/**********************************************************************
-
-Copyright (c) 2013 Carnegie Mellon University. All Rights Reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions are
-met:
-
-1. Redistributions of source code must retain the above copyright
-notice, this list of conditions and the following acknowledgments and
-disclaimers.
-
-2. Redistributions in binary form must reproduce the above copyright
-notice, this list of conditions and the following disclaimer in the
-documentation and/or other materials provided with the distribution.
-
-3. The names "Carnegie Mellon University," "SEI" and/or "Software
-Engineering Institute" shall not be used to endorse or promote
-products derived from this software without prior written
-permission. For written permission, please contact
-[email protected].
-
-4. Products derived from this software may not be called "SEI" nor may
-"SEI" appear in their names without prior written permission of
-[email protected].
-
-5. Redistributions of any form whatsoever must retain the following
-acknowledgment:
-
-This material is based upon work funded and supported by the
-Department of Defense under Contract No. FA8721-05-C-0003 with
-Carnegie Mellon University for the operation of the Software
-Engineering Institute, a federally funded research and development
-center.
-
-Any opinions, findings and conclusions or recommendations expressed in
-this material are those of the author(s) and do not necessarily
-reflect the views of the United States Department of Defense.
-
-NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING
-INSTITUTE MATERIAL IS FURNISHEDON AN "AS-IS" BASIS. CARNEGIE MELLON
-UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR
-IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF
-FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
-OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
-MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,
-TRADEMARK, OR COPYRIGHT INFRINGEMENT.
-
-This material has been approved for public release and unlimited
-distribution.
-
-DM-0000575
-
-**********************************************************************/
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label04.c

@@ -9,60 +9,14 @@ extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
 void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3, "reach_error"); }
 
-/**********************************************************************
-
-Copyright (c) 2013 Carnegie Mellon University. All Rights Reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions are
-met:
-
-1. Redistributions of source code must retain the above copyright
-notice, this list of conditions and the following acknowledgments and
-disclaimers.
-
-2. Redistributions in binary form must reproduce the above copyright
-notice, this list of conditions and the following disclaimer in the
-documentation and/or other materials provided with the distribution.
-
-3. The names "Carnegie Mellon University," "SEI" and/or "Software
-Engineering Institute" shall not be used to endorse or promote
-products derived from this software without prior written
-permission. For written permission, please contact
-[email protected].
-
-4. Products derived from this software may not be called "SEI" nor may
-"SEI" appear in their names without prior written permission of
-[email protected].
-
-5. Redistributions of any form whatsoever must retain the following
-acknowledgment:
-
-This material is based upon work funded and supported by the
-Department of Defense under Contract No. FA8721-05-C-0003 with
-Carnegie Mellon University for the operation of the Software
-Engineering Institute, a federally funded research and development
-center.
-
-Any opinions, findings and conclusions or recommendations expressed in
-this material are those of the author(s) and do not necessarily
-reflect the views of the United States Department of Defense.
-
-NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING
-INSTITUTE MATERIAL IS FURNISHEDON AN "AS-IS" BASIS. CARNEGIE MELLON
-UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR
-IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF
-FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
-OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
-MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,
-TRADEMARK, OR COPYRIGHT INFRINGEMENT.
-
-This material has been approved for public release and unlimited
-distribution.
-
-DM-0000575
-
-**********************************************************************/
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/combinations/pals_lcr.3.1.ufo.BOUNDED-6.pals+Problem12_label05.c

@@ -9,60 +9,14 @@ extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
 void reach_error() { __assert_fail("0", "pals_lcr.3.1.ufo.BOUNDED-6.pals.c", 3, "reach_error"); }
 
-/**********************************************************************
-
-Copyright (c) 2013 Carnegie Mellon University. All Rights Reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions are
-met:
-
-1. Redistributions of source code must retain the above copyright
-notice, this list of conditions and the following acknowledgments and
-disclaimers.
-
-2. Redistributions in binary form must reproduce the above copyright
-notice, this list of conditions and the following disclaimer in the
-documentation and/or other materials provided with the distribution.
-
-3. The names "Carnegie Mellon University," "SEI" and/or "Software
-Engineering Institute" shall not be used to endorse or promote
-products derived from this software without prior written
-permission. For written permission, please contact
-[email protected].
-
-4. Products derived from this software may not be called "SEI" nor may
-"SEI" appear in their names without prior written permission of
-[email protected].
-
-5. Redistributions of any form whatsoever must retain the following
-acknowledgment:
-
-This material is based upon work funded and supported by the
-Department of Defense under Contract No. FA8721-05-C-0003 with
-Carnegie Mellon University for the operation of the Software
-Engineering Institute, a federally funded research and development
-center.
-
-Any opinions, findings and conclusions or recommendations expressed in
-this material are those of the author(s) and do not necessarily
-reflect the views of the United States Department of Defense.
-
-NO WARRANTY. THIS CARNEGIE MELLON UNIVERSITY AND SOFTWARE ENGINEERING
-INSTITUTE MATERIAL IS FURNISHEDON AN "AS-IS" BASIS. CARNEGIE MELLON
-UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR
-IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF
-FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS
-OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT
-MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT,
-TRADEMARK, OR COPYRIGHT INFRINGEMENT.
-
-This material has been approved for public release and unlimited
-distribution.
-
-DM-0000575
-
-**********************************************************************/
+// This file is part of the SV-Benchmarks collection of verification tasks:
+// https://github.com/sosy-lab/sv-benchmarks
+//
+// SPDX-FileCopyrightText: 2013 Carnegie Mellon University
+// SPDX-FileCopyrightText: 2014-2020 The SV-Benchmarks Community
+//
+// SPDX-License-Identifier: Apache-2.0
+// SPDX-License-Identifier: SEE LICENSE IN LICENSE_pals.txt
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */