Function workflow_default

test/sqlancerplusplus/mzcompose.py:49–58

(c: Composition, parser: WorkflowArgumentParser)

def workflow_default(c: Composition, parser: WorkflowArgumentParser) -> None:
    run_sqlancer(
        c,
        parser,
        service_name="sqlancerplusplus",
        default_oracle="WHERE",
        build_run_args=_build_run_args,
        docker_logs_path="/workdir/sqlancerplusplus/logs/general",
        log_prefix="SQLancer++",
    )