test(KeyStoreAdmin): ?

DynamoDbEncryption/dafny/DynamoDbEncryption/test/BeaconTestFixtures.dfy

@@ -132,7 +132,7 @@ module BeaconTestFixtures {
       kmsConfiguration := kmsConfig,
       logicalKeyStoreName := "KeyStoreDdbTable",
       grantTokens := None,
-      ddbTableName := "KeyStoreDdbTable",
+      ddbTableName := Some("KeyStoreDdbTable"),
       ddbClient := Some(ddbClient),
       kmsClient := Some(kmsClient)
     );

DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbEncryptionBranchKeyIdSupplierTest.dfy

@@ -67,7 +67,7 @@ module DynamoDbEncryptionBranchKeyIdSupplierTest {
       kmsConfiguration := kmsConfig,
       logicalKeyStoreName := logicalKeyStoreName,
       grantTokens := None,
-      ddbTableName := branchKeyStoreName,
+      ddbTableName := Some(branchKeyStoreName),
       ddbClient := Some(dynamodbClient),
       kmsClient := Some(kmsClient)
     );

DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/TestFixtures.dfy

@@ -237,7 +237,7 @@ module TestFixtures {
     assume {:axiom} fresh(encryption.Modifies);
   }
 
-  method GetDynamoDbEncryptionTransforms2(actions : AttributeActions, sortKey : Option<string>)
+  method GetDynamoDbEncryptionTransforms2(actions : AttributeActions, sortKey : Option<ComAmazonawsDynamodbTypes.KeySchemaAttributeName>)
     returns (encryption: DynamoDbEncryptionTransforms.DynamoDbEncryptionTransformsClient)
     ensures encryption.ValidState()
     ensures fresh(encryption)

project.properties

@@ -1,5 +1,5 @@
 projectJavaVersion=3.6.2-SNAPSHOT
-mplDependencyJavaVersion=1.5.1
+mplDependencyJavaVersion=1.5.1-SNAPSHOT
 dafnyVersion=4.2.0
 dafnyVerifyVersion=4.7.0
 dafnyRuntimeJavaVersion=4.2.0