--- /dev/null
+puts "============"
+puts "OCC13116"
+puts "============"
+puts ""
+#######################################################################
+# Boolean Operations produce faulty shape
+#######################################################################
+
+restore [locate_data_file OCC13116_sh1.brep] b1
+restore [locate_data_file OCC13116_sh2.brep] b2
+
+bop b1 b2
+bopcommon result
+
+set square 3769.91
+set nb_v_good 3
+set nb_e_good 5
+set nb_w_good 2
+set nb_f_good 2
+set nb_sh_good 1
+set nb_sol_good 1
+set nb_compsol_good 0
+set nb_compound_good 1
+set nb_shape_good 15
+
+set 2dviewer 0
+