Home / CLI Reference / Generate Command
Generate Command
protest generate -i <input-file> -o <output-file> [options]
Required Arguments
| Argument |
Description |
-i, --input <file> |
Model file. .cahtt = JSON format, .pict = PICT text format |
-o, --output <file> |
Output file. Repeatable for multiple outputs. Format inferred from extension |
Engine and Generation Options
| Argument |
Default |
Description |
--engine <pict\|sipo> |
from model |
Generation engine (learn more) |
--strength <n> |
from model (2) |
T-way coverage strength (1-6) |
--trials <n> |
1000 (sipo) / 10000 (pict) |
Parallel trials; best result kept |
--cores <n> |
~75% of available |
Parallel cores for generation |
--max-time <seconds> |
no limit |
Stop after N seconds, return best result found |
--randomize <true\|false> |
true |
Enable/disable random seed |
--seed <n> |
auto |
Specific random seed for reproducibility |
--case-sensitive |
false |
Case-sensitive parameter/value matching |
SIPO Engine Options
These options only apply when using --engine sipo:
| Argument |
Default |
Description |
--sipo-base <n> |
10000 |
Iteration count |
--sipo-temp-initial <n> |
5.0 |
Simulated annealing initial temperature |
--sipo-temp-final <n> |
0.1 |
Simulated annealing final temperature |
| Argument |
Description |
-f, --format <format> |
Explicit format: json, pict, md, csv |
Format is inferred from the output file extension. If the extension is unrecognized, --format is required. If both are provided and conflict, the CLI exits with an error.
| Extension |
Format |
.csv |
Comma-separated values |
.md |
Markdown table |
.cahtt |
JSON (full model + results) |
.pict |
PICT text model (no results) |
CLI Overrides
CLI flags override values stored in the model file only when explicitly provided. Unspecified flags leave model values untouched.
Other
| Argument |
Description |
--version |
Display version |
--help |
Display help |