---
name: "cvise"
section: "1"
platform: "linux"
package: "cvise"
version: "2.11.0-1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/cvise"
---

# cvise(1)

super-parallel Python port of the C-Reduce project

## NAME

cvise - super-parallel Python port of the C-Reduce project

## DESCRIPTION

usage: cvise \[-h\] \[--n N\] \[--tidy\] \[--shaddap\] \[--die-on-pass-bug\] \[--sllooww\]

-

  \[--also-interesting EXIT\_CODE\] \[--debug\] \[--log-level {INFO,DEBUG,WARNING,ERROR}\] \[--log-file LOG\_FILE\] \[--no-give-up\] \[--print-diff\] \[--save-temps\] \[--skip-initial-passes\] \[--skip-interestingness-test-check\] \[--remove-pass REMOVE\_PASS\] \[--start-with-pass START\_WITH\_PASS\] \[--no-timing\] \[--timestamp\] \[--timeout \[TIMEOUT\]\] \[--no-cache\] \[--skip-key-off\] \[--max-improvement BYTES\] \[--pass-group {all,binary,opencl-120,delta} \| **--pass-group-file** PASS\_GROUP\_FILE\] \[--clang-delta-std {c++98,c++11,c++14,c++17,c++20,c++2b}\] \[--clang-delta-preserve-routine CLANG\_DELTA\_PRESERVE\_ROUTINE\] \[--not-c\] \[--renaming\] \[--list-passes\] \[--version\] \[--commands COMMANDS\] \[--shell SHELL\] \[--to-utf8\] \[--skip-after-n-transforms SKIP\_AFTER\_N\_TRANSFORMS\] \[--stopping-threshold STOPPING\_THRESHOLD\] \[INTERESTINGNESS\_TEST\] TEST\_CASE \[TEST\_CASE ...\]

C-Vise

### positional arguments:

- INTERESTINGNESS\_TEST

  Executable to check interestingness of test cases

- TEST\_CASE

  Test cases

### options:

- **-h**, **--help**

  show this help message and exit

- **--n** N, **-n** N

  Number of cores to use; C-Vise tries to automatically pick a good setting but its choice may be too low or high for your situation

- **--tidy**

  Do not make a backup copy of each file to reduce as file.orig

- **--shaddap**

  Suppress output about non-fatal internal errors

- **--die-on-pass-bug**

  Terminate C-Vise if a pass encounters an otherwise non-fatal problem

- **--sllooww**

  Try harder to reduce, but perhaps take a long time to do so

- **--also-interesting** EXIT\_CODE

  A process exit code (somewhere in the range 64-113 would be usual) that, when returned by the interestingness test, will cause C-Vise to save a copy of the variant

- **--debug**

  Print debug information (alias for **--log-level**=*DEBUG*)

- **--log-level** {INFO,DEBUG,WARNING,ERROR}

  Define the verbosity of the logged events

- **--log-file** LOG\_FILE

  Log events into LOG\_FILE instead of stderr. New events are appended to the end of the file

- **--no-give-up**

  Don't give up on a pass that hasn't made progress for 50000 iterations

- **--print-diff**

  Show changes made by transformations, for debugging

- **--save-temps**

  Don't delete */tmp/cvise-xxxxxx* directories on termination

- **--skip-initial-passes**

  Skip initial passes (useful if input is already partially reduced)

- **--skip-interestingness-test-check**, **-s**

  Skip initial interestingness test check

- **--remove-pass** REMOVE\_PASS

  Remove all instances of the specified passes from the schedule (comma-separated)

- **--start-with-pass** START\_WITH\_PASS

  Start with the specified pass

- **--no-timing**

  Do not print timestamps about reduction progress

- **--timestamp**

  Print timestamps instead of relative time from a reduction start

- **--timeout** \[TIMEOUT\]

  Interestingness test timeout in seconds

- **--no-cache**

  Don't cache behavior of passes

- **--skip-key-off**

  Disable skipping the rest of the current pass when 's' is pressed

- **--max-improvement** BYTES

  Largest improvement in file size from a single transformation that C-Vise should accept (useful only to slow C-Vise down)

- **--pass-group** {all,binary,opencl-120,delta}

  Set of passes used during the reduction

- **--pass-group-file** PASS\_GROUP\_FILE

  JSON file defining a custom pass group

- **--clang-delta-std** {c++98,c++11,c++14,c++17,c++20,c++2b}

  Specify clang\_delta C++ standard, it can rapidly speed up all clang\_delta passes

- **--clang-delta-preserve-routine** CLANG\_DELTA\_PRESERVE\_ROUTINE

  Preserve the given function in replace-function-defwith-decl clang delta pass

- **--not-c**

  Don't run passes that are specific to C and C++, use this mode for reducing other languages

- **--renaming**

  Enable all renaming passes (that are disabled by default)

- **--list-passes**

  Print all available passes and exit

- **--version**

  show program's version number and exit

- **--commands** COMMANDS, **-c** COMMANDS

  Use shell commands instead of an interestingness test case

- **--shell** SHELL

  Use selected shell for the **--commands** option

- **--to-utf8**

  Convert any non-UTF-8 encoded input file to UTF-8

- **--skip-after-n-transforms** SKIP\_AFTER\_N\_TRANSFORMS

  Skip each pass after N successful transformations

- **--stopping-threshold** STOPPING\_THRESHOLD

  CVise will stop reducing a test case once it has reduced by this fraction of its original size. Between 0.0 and 1.0.

### available shortcuts:

-

  S - skip execution of the current pass D - toggle **--print-diff** option

For bug reporting instructions, please use: https://github.com/marxin/cvise/