@inamirandaz has requested that we expose the Scilla version through scilla-server.
I think there is a way to query the version number through the run and check commands, but it doesn't seem to work, and in any case it's cleaner if we expose it as a separate command.
@inamirandaz has requested that we expose the Scilla version through scilla-server.
I think there is a way to query the version number through the
run
andcheck
commands, but it doesn't seem to work, and in any case it's cleaner if we expose it as a separate command.