From f3ddb5cad94ee28fb67da641044d37321ca8b622 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Corella?=
 <39066999+josecorella@users.noreply.github.com>
Date: Tue, 9 Jul 2024 10:06:33 -0700
Subject: [PATCH] chore: bump dafnyVerifyVersion to 4.7.0 (#488)

---
 AwsCryptographyPrimitives/test/TestECDH.dfy | 2 +-
 project.properties                          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/AwsCryptographyPrimitives/test/TestECDH.dfy b/AwsCryptographyPrimitives/test/TestECDH.dfy
index 1f13b4549..fd244a9d2 100644
--- 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
index 0a1c10360..255f8ddc0 100644
--- 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