Searched refs:sbve2 (Results 1 – 1 of 1) sorted by relevance
3367 char *sbve2 = btor_bv_to_char (mm, bve2); in inv_cond_bv() local3412 sbve2); in inv_cond_bv()3442 eidx == 2 ? sres : sbve2); in inv_cond_bv()3447 btor_mem_freestr (mm, sbve2); in inv_cond_bv()