16 if { [vreadpixel ${x_coord} ${y_coord} rgb name] != "YELLOW" } {
17 puts "Error : color is not yellow"
26 OCC60 ${xmin} ${ymin} ${xmax} ${ymax}
27 OCC60 ${xmin} ${ymin} ${xmax} ${ymax}
33 if { [vreadpixel ${x_coord} ${y_coord} rgb name] != "GRAY80" } {
34 puts "Error : color is not gray"