Fixed script

dafny-lang · Feb 5, 2025 · 8edcd41 · 8edcd41
1 parent a26a841
commit 8edcd41
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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");