Closed jubnzv closed 1 year ago
I don't think we need an additional test for the version
command, because we already test that scilla-client
works and can communicate with the server. It's just another command that returns the same string every time it's called.
tests/scilla_client
usesscilla-version
command-line argument to get the Scilla version, becauseCore.Command
implicitly adds theversion
argument.Closes #1193