This PR extends quint verify with a few absolutely necessary quality-of-life improvements:
[x] The option --server-endpoint lets the user specify the server endpoint in the format hostname:port. As a result, Quint is able to connect to different instances of Apalache on the same machine or on different machines. I find it extremely useful, in order to perform large-scale experiments.
[x] Apalache writes to the standard Quint output and error output, unless quint verify is run with --verbosity below 2 (the default verbosity).
[x] Added a new test to apalache-tests.md.
If you need further improvements to get this PR merged, lmk.
Hello :octocat:
This PR extends
quint verify
with a few absolutely necessary quality-of-life improvements:--server-endpoint
lets the user specify the server endpoint in the formathostname:port
. As a result, Quint is able to connect to different instances of Apalache on the same machine or on different machines. I find it extremely useful, in order to perform large-scale experiments.quint verify
is run with--verbosity
below 2 (the default verbosity).apalache-tests.md
.If you need further improvements to get this PR merged, lmk.