CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
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:

AltStyle によって変換されたページ (->オリジナル) /