m

Author: ajewellamz

.github/workflows/ci_test_net.yml

@@ -53,13 +53,6 @@ jobs:
           echo "DYLD_LIBRARY_PATH=$(brew --prefix openssl@3)/lib" >> $GITHUB_ENV
           echo "DOTNET_CRYPTO_ENGINE_ADAPTER=System.Security.Cryptography.Algorithms.Managed" >> $GITHUB_ENV
 
-      - name: Setup .NET OpenSSL on Mac
-        if: matrix.os == 'macos-14'
-        run: |
-          brew install openssl@3
-          echo "DYLD_LIBRARY_PATH=$(brew --prefix openssl@3)/lib" >> $GITHUB_ENV
-          echo "DOTNET_CRYPTO_ENGINE_ADAPTER=System.Security.Cryptography.Algorithms.Managed" >> $GITHUB_ENV
-
       - name: Setup Dafny
         uses: ./submodules/MaterialProviders/.github/actions/setup_dafny/
         with:

TestVectors/dafny/DDBEncryption/src/TestVectors.dfy

@@ -369,12 +369,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
       modifies client.Modifies
     {
       DeleteTable(client);
-      // var _ :-  expect client.CreateTable(schemaOnEncrypt);
-      var xxx :=  client.CreateTable(schemaOnEncrypt);
-      if xxx.Failure? {
-        print "***\n", xxx, "\n***\n";
-        expect false;
-      }
+      var _ :-  expect client.CreateTable(schemaOnEncrypt);
       for i := 0 to |records| {
         var input := DDB.PutItemInput(
           TableName := TableName,