Searched refs:funasslist (Results 1 – 1 of 1) sorted by relevance
91 BtorFunAssList *funasslist, *cfunasslist; in boolector_chkclone() local122 funasslist = btor->fun_assignments; in boolector_chkclone()124 for (funass = funasslist->first, cfunass = cfunasslist->first; funass; in boolector_chkclone()