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 78 of file unwindset.h.
#define OPT_UNWINDSET |
Definition at line 73 of file unwindset.h.