Searched refs:yices_free_string (Results 1 – 8 of 8) sorted by relevance
42 yices_free_string(s); in print_term()47 yices_free_string(s); in print_term()128 yices_free_string(s); in simple_test()
41 yices_free_string(s); in print_error()126 yices_free_string(s); in test_mcsat()
60 yices_free_string(str); in show_name()
43 yices_free_string(s); in print_error()126 yices_free_string(s); in test_mcsat()
51 yices_free_string(s); in test_type_to_string()93 yices_free_string(s); in test_term_to_string()
280 yices_free_string(str); in test_error()
162 __YICES_DLLSPEC__ extern void yices_free_string(char *s);
6409 EXPORTED void yices_free_string(char *s) { in yices_free_string() function