9#ifndef CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
10#define CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
14#define SYMTAB2GB_OUT_FILE_OPT "out"
18#define SYMTAB2GB_OPTIONS \
19 "(" SYMTAB2GB_OUT_FILE_OPT "):" \
symtab2gb_parse_optionst(int argc, const char *argv[])
void register_languages() override