restore [locate_data_file case_3_wire.brep] a
restore [locate_data_file case_3_wire2.brep] b
+
bop a b
bopcommon result
-set length 345.975
-set nbsh_v 14
-set nbsh_e 13
+
+checkprops result -l 345.975
+checksection result
+checknbshapes result -vertex 14 -edge 13 -t
+