From 80d7173737edf0996e22a96a7c1f97c021ca0707 Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Tue, 19 Sep 2023 15:50:49 +0200 Subject: [PATCH] Update integration test --- quint/apalache-dist-tests.md | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/quint/apalache-dist-tests.md b/quint/apalache-dist-tests.md index 82af2ac96..afc1d012a 100644 --- a/quint/apalache-dist-tests.md +++ b/quint/apalache-dist-tests.md @@ -31,18 +31,13 @@ quint verify ../examples/language-features/booleans.qnt | \ ``` -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 ```