Function workflow_default

test/sqlancer/mzcompose.py:52–61

(c: Composition, parser: WorkflowArgumentParser)

def workflow_default(c: Composition, parser: WorkflowArgumentParser) -> None:
    run_sqlancer(
        c,
        parser,
        service_name="sqlancer",
        default_oracle="NOREC",
        build_run_args=_build_run_args,
        docker_logs_path="/workdir/sqlancer/logs/materialize",
        log_prefix="SQLancer",
    )