README ¶ % 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 Expand ▾ Collapse ▴ Documentation ¶ There is no documentation for this package. Source Files ¶ View all Source files main.go Click to show internal directories. Click to hide internal directories.