feat: optional tests (#716)

Author: ajewellamz

.github/workflows/ci_test_vector_net.yml

@@ -58,5 +58,7 @@ jobs:
       - name: Test TestVectors
         working-directory: ./TestVectors/runtimes/net
         run: |
+          cp ../java/decrypt_java.json ../java/decrypt_dotnet.json .	
+          dotnet run
           cp ../java/*.json .
           dotnet run

TestVectors/dafny/DDBEncryption/src/Index.dfy

@@ -17,8 +17,12 @@ module WrappedDDBEncryptionMain {
 
   method AddJson(prev : TestVectorConfig, file : string) returns (output : Result<TestVectorConfig, string>)
   {
-    var configBv :- expect FileIO.ReadBytesFromFile(file);
-    var configBytes := BvToBytes(configBv);
+    var configBv := FileIO.ReadBytesFromFile(file);
+    if configBv.Failure? {
+      print "Failed to open ", file, " continuing anyway.\n";
+      return Success(MakeEmptyTestVector());
+    }
+    var configBytes := BvToBytes(configBv.value);
     var json :- expect API.Deserialize(configBytes);
     output := ParseTestVector(json, prev);
     if output.Failure? {

TestVectors/dafny/DDBEncryption/src/TestVectors.dfy

@@ -91,6 +91,10 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       var _ :- expect WriteManifest.Write("encrypt.json");
       var _ :- expect EncryptManifest.Encrypt("encrypt.json", "decrypt.json", "java", "3.2");
       var _ :- expect DecryptManifest.Decrypt("decrypt.json");
+      if |globalRecords| + |tableEncryptionConfigs| + |queries| == 0 {
+        print "\nRunning no tests\n";
+        return;
+      }
       Validate();
       StringOrdering();
       BasicIoTest();