* *       symtab2gb 6.11.0 (cbmc-6.11.0-dirty) 64-bit       * *
* *                    Copyright (C) 2019                   * *
* *                      Diffblue Ltd.                      * *
* *                    info@diffblue.com                    * *

Usage:                                  Purpose:

 symtab2gb [-?] [-h] [--help]  show this help
 symtab2gb [options] json-symtab-file...  compile CBMC symbol table(s) in JSON
                              format to a single goto-binary

Options:
 --out outfile                specify the filename of the resulting binary
                              (default: a.out)
 --goto-functions file        specify a file containing JSON-encoded goto
                              functions
 --verbosity #                verbosity level