cprover
|
Loop unwinding. More...
#include "unwindset.h"
#include <util/json.h>
#include <util/json_expr.h>
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Classes | |
class | goto_unwindt |
struct | goto_unwindt::unwind_logt |
Loop unwinding.
Definition in file unwind.h.