-restore case_4_shell.brep a
-restore case_4_edge3.brep b
+restore [locate_data_file case_4_shell.brep] a
+restore [locate_data_file case_4_edge3.brep] b
+
bcommon result b a
-set length 474.547
-set nbsh_v 4
-set nbsh_e 2
+
+checkprops result -l 474.547
+checksection result
+checknbshapes result -vertex 4 -edge 2 -t
+