OCamlPro
bench test error Alt-Ergo only in w56
Number of tests: 6 Tests: 1074, 284, 64, 660, 741, 789 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 1055, characters 6-12: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 24 Tests: 1078, 1082, 1088, 1093, 1157, 1179, 1200, 1212, 156, 177, 179, 232, 261, 505, 535, 560, 568, 582, 59, 703, 750, 776, 779, 837 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 1230, characters 4-10: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 9 Tests: 198, 204, 418, 42, 429, 439, 466, 621, 659 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 952, characters 4-10: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 2 Tests: 898, 1010 Error: owi: internal error, uncaught exception: File "src/lib/reasoners/bitv.ml", line 696, characters 44-50: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 2 Tests: 628, 638 Error: owi: internal error, uncaught exception: File "src/lib/reasoners/bitv.ml", line 325, characters 4-10: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 40 Tests: 1149, 1162, 1168, 1173, 1213, 20, 21, 23, 268, 279, 292, 293, 314, 360, 373, 375, 39, 400, 404, 409, 414, 417, 427, 435, 464, 527, 571, 573, 594, 656, 676, 684, 707, 73, 771, 786, 791, 810, 813, 844 Error: owi: internal error, uncaught exception: File "src/lib/reasoners/bitv.ml", line 399, characters 16-22: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 37 Tests: 1001, 1012, 1057, 1076, 1094, 1102, 1112, 1136, 1159, 1164, 1170, 1175, 1176, 1177, 1178, 1181, 1185, 1186, 1198, 1205, 1211, 189, 291, 406, 53, 644, 71, 765, 768, 772, 777, 816, 818, 821, 824, 842, 931 Error: owi: internal error, uncaught exception: File "src/lib/reasoners/bitv.ml", line 695, characters 34-40: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 15 Tests: 1000, 1003, 1009, 1086, 219, 450, 452, 499, 601, 611, 683, 839, 938, 964, 988 Error: owi: internal error, uncaught exception: File "src/lib/reasoners/bitv.ml", line 696, characters 44-50: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 33 Tests: 1081, 1130, 1131, 298, 300, 323, 357, 359, 388, 390, 394, 398, 413, 419, 421, 474, 487, 493, 500, 504, 506, 512, 524, 539, 543, 547, 559, 575, 577, 584, 629, 631, 651 Error: owi: internal error, uncaught exception: Not_found Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 6 Tests: 1074, 284, 64, 660, 741, 789 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 1055, characters 6-12: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 24 Tests: 1078, 1082, 1088, 1093, 1157, 1179, 1200, 1212, 156, 177, 179, 232, 261, 505, 535, 560, 568, 582, 59, 703, 750, 776, 779, 837 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 1230, characters 4-10: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 9 Tests: 198, 204, 418, 42, 429, 439, 466, 621, 659 Error: owi: internal error, uncaught exception: File "src/lib/structures/expr.ml", line 952, characters 4-10: Assertion failed Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 11 Tests: 1132, 1138, 192, 322, 350, 352, 408, 420, 510, 698, 840 Error: owi: internal error, uncaught exception: Dolmen_std.Expr.Term.Wrong_type(_, _) Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 155 Tests: 1006, 1008, 101, 1011, 1017, 102, 1032, 1037, 104, 1067, 1069, 1071, 1073, 1084, 1085, 1087, 1090, 1091, 1092, 1100, 111, 1119, 1120, 1125, 1128, 1134, 1135, 1145, 1146, 1148, 115, 1161, 1163, 1166, 1167, 1192, 1194, 1202, 162, 164, 17, 172, 174, 176, 180, 181, 186, 188, 212, 215, 216, 218, 221, 227, 228, 229, 231, 24, 242, 243, 247, 249, 258, 260, 271, 285, 295, 297, 299, 30, 301, 305, 313, 315, 337, 344, 401, 410, 411, 434, 436, 446, 46, 472, 491, 492, 50, 507, 508, 509, 51, 515, 519, 52, 546, 548, 566, 567, 579, 589, 591, 606, 620, 643, 647, 65, 662, 664, 679, 681, 692, 70, 756, 759, 769, 785, 79, 790, 80, 809, 811, 819, 834, 841, 851, 897, 899, 904, 905, 907, 908, 925, 93, 936, 937, 957, 958, 967, 968, 973, 974, 975, 979, 98, 980, 981, 986, 992, 995, 959, 960, 978, 1005, 1014, 1118 Error: owi: internal error, uncaught exception: Invalid_argument("index out of bounds") Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
Number of tests: 83 Tests: 1002, 1015, 103, 1035, 1039, 1048, 105, 1053, 1058, 106, 1064, 1072, 1089, 1095, 1097, 1098, 1105, 1107, 1109, 1111, 1116, 1137, 1147, 1150, 1180, 1182, 1187, 119, 1196, 1201, 1210, 182, 185, 194, 195, 210, 217, 251, 26, 338, 340, 35, 380, 392, 4, 40, 407, 430, 432, 433, 438, 451, 495, 542, 544, 581, 607, 609, 612, 618, 63, 640, 68, 693, 726, 745, 763, 794, 804, 814, 815, 84, 845, 893, 910, 912, 915, 917, 923, 928, 933, 970, 997 Error: owi: internal error, uncaught exception: CamlinternalLazy.Undefined Raised at Stdlib__Domain.join in file "domain.ml", line 299, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 113, characters 31-48 Called from Owi__Wq.read_as_seq.(fun) in file "src/data_structures/wq.ml", line 17, characters 4-16 Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 140, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", lines 210-212, characters 4-45 Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44