SMT System Options (-v)

• Description:

  This option is used to show version of smt tool.

• Examples:

  > smt -v
  smt.2013