OCamlPro
bench test error Alt-Ergo Unsupported type i1
Nummber of tests : 79 Tests: 1045, 1046, 1047, 1048, 1049, 1050, 1051, 1052, 1059, 1060, 1061, 1062, 1063, 1064, 1065, 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1085, 1087, 1090, 1091, 1094, 1095, 1096, 1097, 1098, 1099, 1101, 1105, 1106, 1108, 1109, 1110, 1112, 1113, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1129, 1130, 1131, 1132, 1133, 1134, 1135, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1151, 1152, 1153, 1154, 1155, 1156, 697, 698, 699, 744, 749 Error: owi: internal error, uncaught exception: Failure("Unsupported type "i1"") Raised at Stdlib__Domain.join in file "domain.ml", line 258, characters 16-24 Called from Stdlib__Array.iter in file "array.ml", line 92, characters 31-48 Called from Owi__Wq.read_as_seq 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 133, characters 10-20 Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", line 199, characters 4-190 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
