CBMC
|
Loop unwinding. More...
Go to the source code of this file.
Classes | |
class | unwindsett |
Macros | |
#define | OPT_UNWINDSET |
#define | HELP_UNWINDSET |
Loop unwinding.
Definition in file unwindset.h.
#define HELP_UNWINDSET |
Definition at line 79 of file unwindset.h.
#define OPT_UNWINDSET |
Definition at line 74 of file unwindset.h.