jdiff_parse_options.h File Reference

JDIFF Command Line Option Processing. More...

#include <util/parse_options.h>
#include <util/timestamper.h>
#include <goto-programs/show_goto_functions.h>
#include <goto-programs/show_properties.h>
#include <goto-instrument/cover.h>

Include dependency graph for jdiff_parse_options.h:

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

Go to the source code of this file.

Classes
class	jdiff_parse_optionst

Macros
#define	JDIFF_OPTIONS

Detailed Description

JDIFF Command Line Option Processing.

Definition in file jdiff_parse_options.h.

Macro Definition Documentation

JDIFF_OPTIONS

#define JDIFF_OPTIONS

Value:

  "(json-ui)" \
  OPT_SHOW_GOTO_FUNCTIONS \
  OPT_SHOW_PROPERTIES \
  "(show-loops)" \
  "(no-assertions)(no-assumptions)" \
  OPT_COVER \
  "(verbosity):(version)" \
  OPT_TIMESTAMP \
  "u(unified)(change-impact)(forward-impact)(backward-impact)" \
  "(compact-output)"

Definition at line 26 of file jdiff_parse_options.h.