Home / CLI Reference / Examples
CLI Examples¶
Basic Pairwise Generation¶
protest generate -i model.cahtt -o results.csv
3-Way Strength with SIPO and Time Limit¶
protest generate -i model.cahtt -o results.csv --engine sipo --strength 3 --max-time 60
The SIPO engine often produces 10-30% fewer test cases than PICT, though results vary by scenario.
Multiple Outputs from One Run¶
protest generate -i model.cahtt -o results.csv -o results.md -o backup.cahtt
Generates the covering array once and writes it in three formats simultaneously.
PICT Model File Input¶
protest generate -i model.pict -o results.csv --engine pict --trials 5000
Import an existing PICT model and generate with custom trial count.
Deterministic Generation¶
protest generate -i model.cahtt -o results.csv --seed 42
Using a specific seed produces the same results every time — useful for reproducible test suites.
Override Model Settings¶
protest generate -i model.cahtt -o results.csv --engine pict --strength 3 --trials 500
CLI flags override values stored in the model file only when explicitly provided.
SIPO with Custom Tuning¶
protest generate -i model.cahtt -o results.csv --engine sipo --sipo-base 50000 --sipo-temp-initial 10.0 --sipo-temp-final 0.01
Higher iteration count and wider temperature range for more thorough optimization (takes longer).
Markdown Output for Documentation¶
protest generate -i model.cahtt -o test-matrix.md
Produces a Markdown table you can paste directly into documentation or test plans.