chore(TestVectors): add DefaultCmm Tests (#698)

aws · Nov 19, 2024 · a287d45 · a287d45
1 parent 0a53669
commit a287d45
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV4NoReqEc.dfy b/TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV4NoReqEc.dfy
@@ -46,6 +46,7 @@ module {:options "/functionSyntax:4"} AllEsdkV4NoReqEc {
 
   const AllPositiveKeyringTestsNoReqCmmNoKmsRsa
   := {}
+  + AllDefaultCmm.SuccessTestingRequiredEncryptionContextKeysReproducedEncryptionContext
   + AllHierarchy.Tests
   + AllKms.Tests
   + AllKmsMrkAware.Tests

diff --git a/TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV4WithReqEc.dfy b/TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV4WithReqEc.dfy
@@ -34,7 +34,7 @@ module {:options "/functionSyntax:4" } AllEsdkV4WithReqEc {
   const AllPositiveReqEcTests := AllRequiredEncryptionContextCmm.SuccessTestingRequiredEncryptionContextKeysReproducedEncryptionContext
 
   // These are only required encryption context vectors with static aes keyrings
-  const AllPositveReqEcEsdkTests :=
+  const AllPositiveReqEcEsdkTests :=
     set
       config <- AllPositiveReqEcTests,
       algorithmSuite <-
@@ -55,5 +55,5 @@ module {:options "/functionSyntax:4" } AllEsdkV4WithReqEc {
         )
 
   const Tests :=
-    AllPositveReqEcEsdkTests
+    AllPositiveReqEcEsdkTests
 }