-restore case_3_face.brep a
-restore case_3_edge1.brep b
+restore [locate_data_file case_3_face.brep] a
+restore [locate_data_file case_3_edge1.brep] b
+
bop a b
bopcommon result
-set length 345.975
-set nbsh_v 8
-set nbsh_e 7
+
+checkprops result -l 345.975
+checksection result
+checknbshapes result -vertex 8 -edge 7 -t
+