Add copyright and license in the comments

rishav-karanjit · rishav-karanjit · commit 9fc726f3580a · 2024-03-27T11:30:39.000-07:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbGetEncryptedDataKeyDescriptionTest.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbGetEncryptedDataKeyDescriptionTest.dfy
@@ -1,3 +1,5 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
 include "../src/Index.dfy"
 
 module DynamoDbGetEncryptedDataKeyDescriptionTest {

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.`
	`2`	`+// SPDX-License-Identifier: Apache-2.0`
`1`	`3`	`include "../src/Index.dfy"`
`2`	`4`
`3`	`5`	`module DynamoDbGetEncryptedDataKeyDescriptionTest {`