restore [locate_data_file case_5_shell.brep] a
-restore [locate_data_file case_5_edge3.brep] b
+restore [locate_data_file case_4_edge3.brep] b
+
bcut result b a
-set length 135.758
-set nbsh_v 2
-set nbsh_e 1
+
+checkprops result -l 135.758
+checksection result
+checknbshapes result -vertex 2 -edge 1 -t
+