File tree Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -192,6 +192,10 @@ INDEX_FILE_PATH=dafny/DDBEncryption/src/LibraryIndex.dfy
192192INDEX_FILE_WITH_EXTERN_STRING ="module {:extern \"software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.wrapped\"} WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService"
193193INDEX_FILE_WITHOUT_EXTERN_STRING ="module WrappedDynamoDbEncryption refines WrappedAbstractAwsCryptographyDynamoDbEncryptionService"
194194
195+ ITEMENCRYPTOR_INDEX_FILE_PATH =dafny/WrappedDynamoDbItemEncryptor/src/Index.dfy
196+ ITEMENCRYPTOR_INDEX_FILE_WITH_EXTERN_STRING ="module {:extern \"software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.wrapped\" } WrappedItemEncryptor refines WrappedAbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService {"
197+ ITEMENCRYPTOR_INDEX_FILE_WITHOUT_EXTERN_STRING ="module WrappedItemEncryptor refines WrappedAbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService {"
198+
195199_sed_types_file_remove_extern :
196200 echo " no types file"
197201
You can’t perform that action at this time.
0 commit comments