From 8edcd41a840ef2e41e74e2065ccb386acffc1111 Mon Sep 17 00:00:00 2001
From: Mikael Mayer <mimayere@amazon.com>
Date: Wed, 5 Feb 2025 12:27:55 -0600
Subject: [PATCH] Fixed script

---
 Scripts/bump_version_number.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Scripts/bump_version_number.js b/Scripts/bump_version_number.js
index a82d2e7d63..8cc2d8734c 100644
--- a/Scripts/bump_version_number.js
+++ b/Scripts/bump_version_number.js
@@ -104,6 +104,10 @@ async function synchronizeRepositoryWithNewVersionNumber() {
 // Fetch the content of Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries/manifest.toml
 // Verify that dafny_version = "Major.Minor.Patch.0" corresponds ot the version that is provided
 async function sanityCheckStandardLibraries(version) {
+  if(testMode) {
+    console.log("Would have run a sanity check");
+    return;
+  }
   console.log("Sanity-checking standard libraries");
   try {
     await execute("unzip -o Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo -d Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries");