cprover
|
#include <cprover_library.h>
Public Attributes | |
const char * | function |
const char * | model |
Definition at line 18 of file cprover_library.h.
const char* cprover_library_entryt::function |
Definition at line 20 of file cprover_library.h.
Referenced by get_cprover_library_text().
const char* cprover_library_entryt::model |
Definition at line 21 of file cprover_library.h.