-
This type groups three elements that are used to evaluate prover output. Grouping this will allow easier reues of existing code for the VC server facility. * call_provers.ml: new type prover_result_parser (parse_prover_run) extract code to parse prover output in a function (call_on_file, call_on_buffer) group three arguments into one, and adapt calls * driver.ml: modify type driver to group three fields into one (parse_driver) modify according to change in type (call_on_buffer) modify call * session_scheduler.ml adapt call
c38e1957