OCamlPro
bench test error Alt-Ergo lib/reasoners/bitv.ml
Nummber of tests : 34 Tests: 1035, 1075, 1086, 1092, 1114, 1116, 1118, 1150, 1190, 1196, 278, 286, 298, 316, 412, 414, 420, 422, 464, 48, 51, 516, 569, 575, 577, 579, 584, 588, 594, 596, 61, 630, 638, 653 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 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
