* *        CPROVER 6.11.0 (cbmc-6.11.0-dirty) 64-bit        * *
* *                      Copyright 2022                     * *

Usage:                       Purpose:

 cprover [-?] [-h] [--help]   show this help
 cprover source-file.c        convert a given C program

Other options:
 --inline                     perform function call inlining before generating
                              the formula
 --no-safety                  disable safety checks
 --contract function          check contract of given function
 --outfile file-name          set output file for formula
 --smt2                       output formula in SMT-LIB2 format
 --text                       output formula in text format