soma.cell

soma replay

V1: replay a .somalog file deterministically and report divergences.

soma replay 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 replay --help
V1: replay a .somalog file deterministically and report divergences

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

Arguments:
  <FILE>  Path to the .cell source file

Options:
      --log <LOG>        Path to the .somalog file (default: alongside the .cell)
      --at <AT>          Replay only entries up to this timestamp (epoch ms or ISO-8601)
      --live             Ask the model again instead of replaying its recorded answers
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help