unwindset.h File Reference

#include <goto-programs/goto_model.h>
#include <list>
#include <map>
#include <string>

Include dependency graph for unwindset.h:

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

Go to the source code of this file.

Classes
class	unwindsett

Macros
#define	OPT_UNWINDSET
#define	HELP_UNWINDSET

Detailed Description

Loop unwinding

Definition in file unwindset.h.

Macro Definition Documentation

HELP_UNWINDSET

#define HELP_UNWINDSET

Value:

  " --show-loops                 show the loops in the program\n"              \
  " --unwind nr                  unwind nr times\n"                            \
  " --unwindset [T:]L:B,...      unwind loop L with a bound of B\n"            \
  "                              (optionally restricted to thread T)\n"        \
  "                              (use --show-loops to get the loop IDs)\n"

Definition at line 76 of file unwindset.h.

OPT_UNWINDSET

#define OPT_UNWINDSET

Value:

  "(show-loops)"                                                               \
  "(unwind):"                                                                  \
  "(unwindset):"

Definition at line 71 of file unwindset.h.