interface SingleBenchmarkCliOptions {
    "enable-pointer-tracking": boolean;
    "file-id"?: number;
    help: boolean;
    input?: string;
    "max-slices": number;
    output?: string;
    parser: "r-shell" | "tree-sitter";
    "run-num"?: number;
    "sampling-strategy": string;
    slice: string;
    threshold?: number;
    verbose: boolean;
}

Properties

"enable-pointer-tracking": boolean
"file-id"?: number
help: boolean
input?: string
"max-slices": number
output?: string
parser: "r-shell" | "tree-sitter"
"run-num"?: number
"sampling-strategy": string
slice: string
threshold?: number
verbose: boolean
MMNEPVFCICPMFPCPTTAAATR