c4t-backend

README

% c4t-backend 8

NAME

c4t-backend - runs backends standalone

SYNOPSIS

c4t-backend

[--arch|-a]=[value]
[--backend-id|-n]=[value]
[--backend-style|-s]=[value]
[--dry-run|-d]
[--grace|-g]=[value]
[--timeout|-t]=[value]
[-C]=[value]
[-x]

Usage:

c4t-backend [GLOBAL OPTIONS] command [COMMAND OPTIONS] [ARGUMENTS...]

GLOBAL OPTIONS

--arch, -a="": ID of ARCH to target for architecture-dependent backends

--backend-id, -n="": filter to backends whose names match GLOB

--backend-style, -s="": filter to backends whose styles match GLOB

--dry-run, -d: if true, print any external commands run instead of running them

--grace, -g="": DURATION to wait between sigterm and sigkill when timing out (default: 0s)

--timeout, -t="": DURATION to wait before trying to stop the backend (default: 0s)

-C="": read tester config from this file

-x: if true, use 'dune exec' to run c4f binaries