cprover
cprover_library_entryt Struct Reference

Public Attributes

const char * function
 
const char * model
 

Detailed Description

Definition at line 17 of file cprover_library.cpp.

Member Data Documentation

◆ function

const char* cprover_library_entryt::function

Definition at line 19 of file cprover_library.cpp.

Referenced by get_cprover_library_text().

◆ model

const char* cprover_library_entryt::model

Definition at line 20 of file cprover_library.cpp.


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