cprover
Loading...
Searching...
No Matches
data Struct Reference

#include <kdev_t.h>

Public Attributes

int size
char * content

Detailed Description

Definition at line 24 of file kdev_t.h.

Member Data Documentation

◆ content

char* data::content

Definition at line 26 of file kdev_t.h.

◆ size

int data::size

Definition at line 25 of file kdev_t.h.


The documentation for this struct was generated from the following file:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/doc/assets/kdev_t.h