soma.cell

soma test

Run test assertions in a .cell file. Storage is isolated: every memory slot uses a fresh in-memory backend, so runs never touch persistent state and always start clean. Supports assert expr, assert_fails expr (passes when expr errors), and property.

soma test 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 test --help
Run test assertions in a .cell file. Storage is isolated: every memory slot uses a fresh in-memory backend, so runs never touch persistent state and always start clean. Supports `assert expr`, `assert_fails expr` (passes when expr errors), and `property`

Usage: soma-v3.2.4 test [OPTIONS] <FILE>

Arguments:
  <FILE>  Path to the .cell file containing test cells

Options:
      --json             Output as JSON (for agents): one record per rule, then the totals
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help