return "true" if len(expr_list) == 1: return expr_list[0] return "(and %s)" % " ".join(expr_list) smt = SmtIo(opts=so) def print_msg(msg): print("%s %s" % (smt.timestamp(), msg)) sys.stdout.flush() print_msg("Solver: %s" % (so.solver)) smt.setup("QF_AUFBV") with open(args[0], "r") as f: for line in f: smt.write(line) smt.info(line) if topmod is None: topmod = smt.topmod assert topmod is not None assert topmod in smt.modinfo def write_vcd_trace(steps_start, steps_stop, index): filename = vcdfile.replace("%", index)