restore [locate_data_file case_6_solid.brep] a
-restore [locate_data_file case_6_edge2.brep] b
+restore [locate_data_file case_5_edge2.brep] b
+
bop a b
bopcommon result
-set length 615.235
-set nbsh_v 6
-set nbsh_e 3
+
+checkprops result -l 615.235
+checksection result
+checknbshapes result -vertex 6 -edge 3 -t
+