CBMC
Loading...
Searching...
No Matches
Classes | Macros
goto_diff_parse_options.h File Reference

GOTO-DIFF Command Line Option Processing. More...

#include <util/parse_options.h>
#include <util/timestamper.h>
#include <util/ui_message.h>
#include <goto-programs/show_goto_functions.h>
#include <goto-programs/show_properties.h>
#include <ansi-c/goto-conversion/goto_check_c.h>
#include <goto-instrument/cover.h>
+ Include dependency graph for goto_diff_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_diff_parse_optionst
 

Macros

#define  GOTO_DIFF_OPTIONS
 

Detailed Description

GOTO-DIFF Command Line Option Processing.

Definition in file goto_diff_parse_options.h.

Macro Definition Documentation

◆  GOTO_DIFF_OPTIONS

#define GOTO_DIFF_OPTIONS
Value:
"(json-ui)" \
"(show-loops)" \
"(verbosity):(version)" \
"u(unified)(change-impact)(forward-impact)(backward-impact)" \
"(compact-output)"
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566

Definition at line 29 of file goto_diff_parse_options.h.

AltStyle によって変換されたページ (->オリジナル) /