Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
3d097a032This file is pinned to the selected release. Download the original to open it in your design tool.
restore [locate_data_file a102] a
restore [locate_data_file b104] b
bop a b
boptuc result
checkprops result -s 25134
checkview -display result -2d -otherwise { a b } -s -path ${imagedir}/${test_image}.png