Update debug message

informalsystems · Sep 19, 2023 · e0c8a42 · e0c8a42
1 parent 80d7173
commit e0c8a42
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git 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
@@ -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))
 }