Send bug reports to cvc-bugs@verify.stanford.edu. Please include all the input to CVC and any command-line options that are needed to trigger the bug.

For general support, you can email stump@cs.stanford.edu.