Ensure MIT-0 license in all source files

src/cbmc_starter_kit/__init__.py

@@ -0,0 +1,2 @@
+# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: MIT-0

src/cbmc_starter_kit/arguments.py

@@ -1,5 +1,5 @@
 # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: MIT-0
 
 """Methods for common command-line argument parsing."""
 

src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh

@@ -1,5 +1,8 @@
 #!/bin/bash
 
+# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: MIT-0
+
 ################################################################
 # Documentation
 #

src/cbmc_starter_kit/migrate_license.py

@@ -1,5 +1,8 @@
 #!/usr/bin/env python3
 
+# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: MIT-0
+
 import logging
 import os
 import re

src/cbmc_starter_kit/repository.py

@@ -1,5 +1,8 @@
 """Discover repository properties like repository root, proof root, etc."""
 
+# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: MIT-0
+
 from pathlib import Path
 from subprocess import Popen, PIPE
 import json

src/cbmc_starter_kit/version.py

@@ -1,5 +1,5 @@
 # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: MIT-0
 
 """Version number."""