symtab2gb - Compile JSON symbol tables to a GOTO binary

       If you encounter a problem please create an issue at https://github.com/diffblue/cbmc/issues

       2019, Diffblue

symtab2gb-5.59.0                                    June 2022                                       SYMTAB2GB(1)

       This  utility  is  to  compile  a  cbmc(1) symbols table (in JSON format) into a GOTO binary.  This is to
       support   integration   of   external   language   frontends,   such    as    Ada    (using    GNAT2GOTO:
       https://github.com/diffblue/gnat2goto) or Rust (using Kani: https://github.com/model-checking/kani).

       All tools honor the TMPDIR environment variable when generating temporary files and directories.

       symtab2gb - Compile JSON symbol tables to a GOTO binary

--outoutfile
              Specify the filename of the resulting binary (default: a.out)

       --verbosity #
              verbosity level

cbmc(1)

symtab2gb[-?][-h][--help]
              show help

       symtab2gbjson-symtab-file+ [--outoutfile]
              compile symbol tables in JSON format to a single GOTO binary