Variable summarizerOptionsConst
summarizerOptions: [
{
alias: "v";
description: "Run with verbose logging";
name: "verbose";
type: BooleanConstructor;
},
{
alias: "h";
description: "Print this usage guide";
name: "help";
type: BooleanConstructor;
},
{
alias: "g";
description: "Produce data to be used for visualizing benchmarks over time";
name: "graph";
type: BooleanConstructor;
},
{
alias: "u";
description: "Only perform the second summary-stage, with this, the input is used to find the summary-output.";
name: "ultimate-only";
type: BooleanConstructor;
},
{
alias: "i";
defaultOption: true;
description: "The {italic output} produced by the benchmark";
multiple: false;
name: "input";
type: StringConstructor;
typeLabel: "{underline file.json/output}";
},
{
alias: "o";
description: "Basename of the summaries (defaults to {italic <input>-summary})";
name: "output";
type: StringConstructor;
typeLabel: "{underline file}";
},
] = ...