cprover
|
Public Attributes | |
const char * | function |
const char * | model |
Definition at line 17 of file cprover_library.cpp.
const char* cprover_library_entryt::function |
Definition at line 19 of file cprover_library.cpp.
Referenced by get_cprover_library_text().
const char* cprover_library_entryt::model |
Definition at line 20 of file cprover_library.cpp.