Searched refs:BTOR_STR_LEN (Results 1 – 1 of 1) sorted by relevance
440 #define BTOR_STR_LEN 40 macro516 BTOR_CNEWN (g_btorunt->mm, btor_str, BTOR_STR_LEN); in parse()650 snprintf (btor_str, BTOR_STR_LEN, "%s", exp_str); in parse()2003 BTOR_DELETEN (g_btorunt->mm, btor_str, BTOR_STR_LEN); in parse()