framet::loop_infot Struct Reference

#include <frame.h>

Public Attributes
unsigned	count = 0
bool	is_recursion = false

Detailed Description

Definition at line 50 of file frame.h.

Member Data Documentation

count

unsigned framet::loop_infot::count = 0

Definition at line 52 of file frame.h.

is_recursion

bool framet::loop_infot::is_recursion = false

Definition at line 53 of file frame.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/goto-symex/frame.h