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