Skip to content

Commit 92702e5

Browse files
SkptakSoren Ptak
and
Soren Ptak
authored
Adding SPDX Identifier (#116)
* Adding SPDX Identifier * Adding needed words to lexicon Co-authored-by: Soren Ptak <[email protected]>
1 parent 955a2ad commit 92702e5

File tree

110 files changed

+220
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

110 files changed

+220
-0
lines changed

lexicon.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -408,6 +408,7 @@ memorystatus
408408
metadata
409409
min
410410
misra
411+
mit
411412
mnc
412413
mno
413414
modelid
@@ -770,6 +771,7 @@ sockettype
770771
sockindex
771772
sortcomparefunc
772773
sp
774+
spdx
773775
spi
774776
src
775777
stacksize

source/cellular_3gpp_api.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/cellular_3gpp_urc_handler.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/cellular_at_core.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/cellular_common.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/cellular_common_api.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/cellular_pkthandler.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/cellular_pktio.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/cellular_api.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/cellular_config_defaults.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/cellular_types.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/common/cellular_at_core.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/common/cellular_common.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/common/cellular_common_api.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/common/cellular_common_portable.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/private/cellular_common_internal.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/private/cellular_internal.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/private/cellular_pkthandler_internal.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/include/private/cellular_pktio_internal.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

source/interface/cellular_comm_interface.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/include/cellular_cbmc_state.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/include/cellular_config.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/include/cellular_platform.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* FreeRTOS-Cellular-Interface v1.3.0
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
5+
* SPDX-License-Identifier: MIT
6+
*
57
* Permission is hereby granted, free of charge, to any person obtaining a copy of
68
* this software and associated documentation files (the "Software"), to deal in
79
* the Software without restriction, including without limitation the rights to

0 commit comments

Comments
 (0)