Use LicenseRef as SPDX license identifier for seq-mthreaded

Author: lembergerth

c/seq-mthreaded/LICENSE.txt renamed to LICENSES/LicenseRef-BSD-3-Clause-Attribution-CMU.txt

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.1.ufo.BOUN
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.1.ufo.UNBO
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.UNBOUNDED.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_1.ufo.BO
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_1.ufo.UN
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_1.ufo.UNBOUNDED.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_2.ufo.BO
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.4_2.ufo.UN
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.5.ufo.BOUN
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.5.ufo.UNBO
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */

c/seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.UNBOUNDED.pals.c

@@ -7,7 +7,7 @@ void reach_error() { __assert_fail("0", "pals_STARTPALS_ActiveStandby.ufo.BOUNDE
 //
 // SPDX-FileCopyrightText: 2013 Carnegie Mellon University
 //
-// SPDX-License-Identifier: SEE LICENSE IN LICENSE.txt
+// SPDX-License-Identifier: LicenseRef-BSD-3-Clause-Attribution-CMU
 
 /* Generated by CIL v. 1.6.0 */
 /* print_CIL_Input is true */