Command Line Parsing. More...

#include <util/config.h>
#include <util/options.h>
#include <util/parse_options.h>
#include <goto-programs/goto_model.h>
#include <goto-checker/solver_factory.h>
#include <goto-instrument/contracts/contracts.h>
#include "dump_loop_contracts.h"

Include dependency graph for goto_synthesizer_parse_options.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	goto_synthesizer_parse_optionst

Macros
#define	GOTO_SYNTHESIZER_OPTIONS

Detailed Description

Command Line Parsing.

Definition in file goto_synthesizer_parse_options.h.

Macro Definition Documentation

◆ GOTO_SYNTHESIZER_OPTIONS

#define GOTO_SYNTHESIZER_OPTIONS

Value:

  OPT_DUMP_LOOP_CONTRACTS \
  "(" FLAG_LOOP_CONTRACTS_NO_UNWIND ")" \
  OPT_CONFIG_BACKEND \
  OPT_SOLVER \
  "(arrays-uf-always)(arrays-uf-never)" \
  "(verbosity):(version)(xml-ui)(json-ui)" \

Definition at line 24 of file goto_synthesizer_parse_options.h.

Classes

Macros

Detailed Description

Macro Definition Documentation

◆ GOTO_SYNTHESIZER_OPTIONS