From e0c8a420e8c2ab3d1cd26e316e38c0c3a64f98cc Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas.pani@gmail.com>
Date: Tue, 19 Sep 2023 16:16:43 +0200
Subject: [PATCH] Update debug message

---
 quint/apalache-dist-tests.md | 4 +---
 quint/src/quintVerifier.ts   | 8 +++-----
 2 files changed, 4 insertions(+), 8 deletions(-)

diff --git a/quint/apalache-dist-tests.md b/quint/apalache-dist-tests.md
index afc1d012a..c4a0a9294 100644
--- a/quint/apalache-dist-tests.md
+++ b/quint/apalache-dist-tests.md
@@ -31,12 +31,10 @@ quint verify ../examples/language-features/booleans.qnt | \
 
 <!-- !test out server not running -->
 ```
-Downloading Apalache distribution...
-Calling Apalache...
+Downloading Apalache distribution... done.
 [ok] No violation found (duration).
 You may increase --max-steps.
 Use --verbosity to produce more (or less) output.
-Calling Apalache...
 [ok] No violation found (duration).
 You may increase --max-steps.
 Use --verbosity to produce more (or less) output.
diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts
index 5940ac4a9..85355b355 100644
--- a/quint/src/quintVerifier.ts
+++ b/quint/src/quintVerifier.ts
@@ -301,8 +301,9 @@ async function fetchApalache(verbosityLevel: number): Promise<VerifyResult<strin
     return right(apalacheBinary)
   } else {
     fs.mkdirSync(apalacheDistDir(), { recursive: true })
-    console.log(`Downloading Apalache distribution...`)
+    process.stdout.write('Downloading Apalache distribution...')
     const res = await downloadAndUnpackApalache()
+    process.stdout.write(' done.\n')
     return res.map(_ => apalacheBinary)
   }
 
@@ -437,8 +438,5 @@ function debugLog(verbosityLevel: number, msg: string) {
  */
 export async function verify(config: any, verbosityLevel: number): Promise<VerifyResult<void>> {
   const connectionResult = await connect(verbosityLevel)
-  return connectionResult.asyncChain(conn => {
-    console.log('Calling Apalache...')
-    return conn.check(config)
-  })
+  return connectionResult.asyncChain(conn => conn.check(config))
 }