% c4t-lift 8

NAME

c4t-lift - runs the lifter phase of a C4 test

SYNOPSIS

c4t-lift

[--verbose|-v]
[-d]=[value]
[-x]

Usage:

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

GLOBAL OPTIONS

--verbose, -v: enables verbose output

-d="": directory to which outputs will be written (default: lift_results)

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