diff-run command
Run the declared cases on a git revision and on the working tree, both in scratch copies, and compare their quantities.
bash
fobis diff-run [REF] [CASE...] [options]How to use it, with examples: Verifying results.
All options
Arguments: REF NAMES...
| Option | Value | Default | Description |
|---|---|---|---|
--fobos, -f | TEXT | Specify a "fobos" file named differently from "fobos" | |
--fci | Assume fobos inputs as case insensitive | ||
--mode | TEXT | Select a mode defined into a fobos file | |
--assess | Judge a difference against the working tree's own spread (fobis assess families). | ||
--keep | Keep the scratch copies (path printed). | ||
--runner | TEXT | local | Where the programs run: local, or slurm (jobs submitted with sbatch; [scheduler] settings). |
--json | Emit structured JSON to stdout instead of human-readable output (useful for scripting / agents) |