You can run a script from the command line as follows.

macOS/Linux:

  ${SIREUM_HOME}/bin/sireum slang run Hello/src/script.sc

Windows

  %SIREUM_HOME%\bin\sireum.bat slang run Hello\src\script.sc