OCamlPro
bench test error Alt-Ergo mappings: no value for symbol_XXX
Nummber of tests : 41 Tests: 1031, 324, 354, 355, 363, 365, 367, 369, 371, 372, 379, 387, 496, 554, 558, 562, 564, 625, 627, 663, 666, 667, 668, 670, 685, 686, 688, 700, 704, 713, 722, 724, 725, 727, 735, 737, 747, 748, 751, 850, 88 Error: owi: internal error, uncaught exception: Failure("Altergo_mappings: no value for symbol_XXX") 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
