CBMC
Public Attributes | List of all members
__CPROVER_pipet Struct Reference

#include <cprover.h>

Public Attributes

_Bool widowed
 
char data [4]
 
short next_avail
 
short next_unread
 

Detailed Description

Definition at line 39 of file cprover.h.

Member Data Documentation

◆ data

char __CPROVER_pipet::data[4]

Definition at line 41 of file cprover.h.

◆ next_avail

short __CPROVER_pipet::next_avail

Definition at line 42 of file cprover.h.

◆ next_unread

short __CPROVER_pipet::next_unread

Definition at line 43 of file cprover.h.

◆ widowed

_Bool __CPROVER_pipet::widowed

Definition at line 40 of file cprover.h.

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