Skip to content

matrix command ​

Build, test and (with --verify) run the cases of every fobos mode rebuilt as each shadow, in the environment of its [verification] setup line.

bash
fobis matrix [options]

How to use it, with examples: Verifying results.

All options ​

OptionValueDefaultDescription
--fobos, -fTEXTSpecify a "fobos" file named differently from "fobos"
--fciAssume fobos inputs as case insensitive
--modesTEXTComma-separated fobos modes [default: every mode].
--shadowsTEXTnone,checksComma-separated shadows: none (the mode's own flags), checks, sanitize, strict.
--compilersTEXTKeep the modes whose compiler (or family: gnu, intel, nvfortran) is listed.
--verifyAlso run the declared cases: references and cross-cell agreement.
--recheckRun failed tests and cases of a cell again under the checks shadow.
--no-testsDo not run the test programs.
--jsonEmit structured JSON to stdout instead of human-readable output (useful for scripting / agents)