cprover_library_entryt Struct Reference

#include <cprover_library.h>

Public Attributes
const char *	function
const char *	model

Detailed Description

Definition at line 20 of file cprover_library.h.

Member Data Documentation

function

const char* cprover_library_entryt::function

Definition at line 22 of file cprover_library.h.

model

const char* cprover_library_entryt::model

Definition at line 23 of file cprover_library.h.

---

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

• /home/runner/work/cbmc/cbmc/src/ansi-c/cprover_library.h