Skip to main content

cvc5_stat_get_string

Function cvc5_stat_get_string 

Source
pub unsafe extern "C" fn cvc5_stat_get_string(
    stat: Cvc5Stat,
) -> *const c_char
Expand description

Get value of a string statistic. @param stat The statistic. @return The string value. @note The returned char pointer is only valid until the next call to this function.