From c2d27e680d1a8be6031a823ad1a94d35212d717d Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Mon, 9 Sep 2024 15:47:13 -0300
Subject: [PATCH] Use `-q` flag in new REPL integration tests to avoid dealing
 with different version numbers

---
 quint/io-cli-tests.md | 36 +++++++++++++++---------------------
 1 file changed, 15 insertions(+), 21 deletions(-)

diff --git a/quint/io-cli-tests.md b/quint/io-cli-tests.md
index 2c876ab5b..27b0cb256 100644
--- a/quint/io-cli-tests.md
+++ b/quint/io-cli-tests.md
@@ -1226,19 +1226,17 @@ echo 'q::debug("value:", { foo: 42, bar: "Hello, World!" })' | quint | tail -n +
 <!-- !test in repl works after name error -->
 
 ```
-echo -e 'inexisting_name\n1 + 1' | quint
+echo -e 'inexisting_name\n1 + 1' | quint -q
 ```
 
 <!-- !test out repl works after name error -->
 ```
-Quint REPL 0.21.1
-Type ".exit" to exit, or ".help" for more information
->>> static analysis error: error: [QNT404] Name 'inexisting_name' not found
+static analysis error: error: [QNT404] Name 'inexisting_name' not found
 inexisting_name
 ^^^^^^^^^^^^^^^
 
->>> 2
->>> 
+2
+
 ```
 
 ### REPL continues to work after conflicting definitions
@@ -1247,15 +1245,13 @@ Regression for https://github.com/informalsystems/quint/issues/434
 
 <!-- !test in repl works after conflict -->
 ```
-echo -e 'def farenheit(celsius) = celsius * 9 / 5 + 32\ndef farenheit(celsius) = celsius * 9 / 5 + 32\nfarenheit(1)' | quint
+echo -e 'def farenheit(celsius) = celsius * 9 / 5 + 32\ndef farenheit(celsius) = celsius * 9 / 5 + 32\nfarenheit(1)' | quint -q
 ```
 
 <!-- !test out repl works after conflict -->
 ```
-Quint REPL 0.21.1
-Type ".exit" to exit, or ".help" for more information
->>> 
->>> static analysis error: error: [QNT101] Conflicting definitions found for name 'farenheit' in module '__repl__'
+
+static analysis error: error: [QNT101] Conflicting definitions found for name 'farenheit' in module '__repl__'
 def farenheit(celsius) = celsius * 9 / 5 + 32
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
@@ -1264,41 +1260,39 @@ def farenheit(celsius) = celsius * 9 / 5 + 32
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 
->>> 33
->>> 
+33
+
 ```
 
 ### REPL continues to work after type errors
 
 <!-- !test in repl works after type errors -->
 ```
-echo -e 'def foo = 1 + "a"\nfoo\n1 + "a"\n1 + 1' | quint
+echo -e 'def foo = 1 + "a"\nfoo\n1 + "a"\n1 + 1' | quint -q
 ```
 
 <!-- !test out repl works after type errors -->
 ```
-Quint REPL 0.21.1
-Type ".exit" to exit, or ".help" for more information
->>> static analysis error: error: [QNT000] Couldn't unify int and str
+static analysis error: error: [QNT000] Couldn't unify int and str
 Trying to unify int and str
 Trying to unify (int, int) => int and (int, str) => _t0
 
 def foo = 1 + "a"
           ^^^^^^^
 
->>> static analysis error: error: [QNT404] Name 'foo' not found
+static analysis error: error: [QNT404] Name 'foo' not found
 foo
 ^^^
 
->>> static analysis error: error: [QNT000] Couldn't unify int and str
+static analysis error: error: [QNT000] Couldn't unify int and str
 Trying to unify int and str
 Trying to unify (int, int) => int and (int, str) => _t0
 
 1 + "a"
 ^^^^^^^
 
->>> 2
->>> 
+2
+
 ```