chore: bump dafnyVerifyVersion to 4.7.0 (#488)

aws · Aug 21, 2024 · 5288b79 · 5288b79
1 parent d51d648
commit 5288b79
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/AwsCryptographyPrimitives/test/TestECDH.dfy b/AwsCryptographyPrimitives/test/TestECDH.dfy
@@ -458,7 +458,7 @@ module TestECDH {
     }
   }
 
-  method {:test} TestCompressDecompressConstantPublicKeys() {
+  method {:test} {:vcs_split_on_every_assert} TestCompressDecompressConstantPublicKeys() {
     var derX509PublicKeys := [ECC_P256_PUBLIC, ECC_384_PUBLIC, ECC_P521_PUBLIC];
     var compressedKeys := [ECC_P256_PUBLIC_COMPRESSED, ECC_384_PUBLIC_COMPRESSED, ECC_P521_PUBLIC_COMPRESSED];
     var curves := [P256, P384, P521];

diff --git a/project.properties b/project.properties
@@ -6,5 +6,5 @@
 # The Java project include this file as a Gradle properties
 # And the Dotnet projects include and parse this file.
 dafnyVersion=4.2.0
-dafnyVerifyVersion=4.2.0
+dafnyVerifyVersion=4.7.0
 mplVersion=1.5.1-SNAPSHOT
diff --git a/smithy-dafny b/smithy-dafny