soma example

Find a verified example program: soma example invariant state_machine.

soma example is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:

$ soma example --help
Find a verified example program: soma example invariant state_machine

Usage: soma-v3.2.4 example [OPTIONS] [TERMS]...

Arguments:
  [TERMS]...  Search terms (domain, feature, word) — or an exact id to print its source

Options:
      --json             Output as JSON (for agents)
      --all              List every match (default: the first 20)
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help