Update integration test

informalsystems · Sep 19, 2023 · 80d7173 · 80d7173
1 parent dbb4675
commit 80d7173
Showing 1 changed file with 3 additions and 8 deletions.
diff --git a/quint/apalache-dist-tests.md b/quint/apalache-dist-tests.md
@@ -31,18 +31,13 @@ quint verify ../examples/language-features/booleans.qnt | \
 
 <!-- !test out server not running -->
 ```
-Couldn't connect to Apalache, checking for latest supported release
-Downloading Apalache distribution from (asseturl)
-Launching Apalache server
+Downloading Apalache distribution...
+Calling Apalache...
 [ok] No violation found (duration).
 You may increase --max-steps.
 Use --verbosity to produce more (or less) output.
-Shutting down Apalache server
-Couldn't connect to Apalache, checking for latest supported release
-Using existing Apalache distribution in (distdir)
-Launching Apalache server
+Calling Apalache...
 [ok] No violation found (duration).
 You may increase --max-steps.
 Use --verbosity to produce more (or less) output.
-Shutting down Apalache server
 ```