m

Author: ajewellamz

TestVectors/dafny/DDBEncryption/src/JsonConfig.dfy

@@ -571,7 +571,7 @@ module {:options "-functionSyntax:4"} JsonConfig {
 
     var src := SI.KeySource(client, store, SI.SingleLoc("foo"), cache, 100 as uint32, partitionIdBytes, logicalKeyStoreNameBytes);
 
-    var bv :- expect SI.MakeBeaconVersion(1, src, map[], map[], map[]);
+    var bv :- expect SI.MakeBeaconVersion(1, src, map[], map[], map[], 1);
     return Success(bv);
   }
 

TestVectors/dafny/DDBEncryption/src/TestVectors.dfy

@@ -151,7 +151,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
           var query := SimpleQuery(None, None, expr, []);
           var items1 := FullScan(client, query, Some(map[]), vals);
           var bv :- expect GetFakeBeaconVersion();
-          var items2 :- expect Filter.FilterResults(bv, subRecords, None, expr, None, vals);
+          var items2 :- expect Filter.FilterResults(bv, subRecords, None, expr, None, vals, []);
           CompareRecordsDisordered2(items1, items2);
         }
       }