m

Author: ajewellamz

TestVectors/dafny/DDBEncryption/src/TestVectors.dfy

@@ -96,11 +96,13 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
         return;
       }
       Validate();
-      StringOrdering();
+      // Because of Dafny-Rust's lack of modules, there is no way to mae an interceptor for the wrapped DB-ESDK client.
+      // So we create runtimes/rust/SkipLocal.txt to skip those tests that need the wrapped client.
       var skipLocal := FileIO.ReadBytesFromFile("SkipLocal.txt");
       if skipLocal.Success? {
         return;
       }
+      StringOrdering();
       BasicIoTest();
       RunIoTests();
       BasicQueryTest();