Searched defs:sbvexp (Results 1 – 1 of 1) sorted by relevance
1570 char *sbvexp = btor_bv_to_char (btor->mm, bvexp); in res_rec_conf() local1668 char *sbve, *sbvexp, *sres; in check_result_binary_dbg() local