Searched refs:cover_expr (Results 1 – 1 of 1) sorted by relevance
1134 cover_expr = list()1138 cover_expr.append("(ite (|%s| %s) #b1 #b0)" % (expr, base))1143 cover_expr += e1146 return cover_expr, cover_desc1353 cover_expr, cover_desc = get_cover_list(topmod, "state") variable1356 if len(cover_expr) > 1:1357 cover_expr = "(concat %s)" % " ".join(cover_expr) variable1358 elif len(cover_expr) == 1:1359 cover_expr = cover_expr[0] variable1361 cover_expr = "#b0"[all …]