read_verilog ../top.v
tee -o result.log bugpoint -script script.ys -yosys yosys.ys