• Johannes Kanig's avatar
    N211-037 introduce a type "prover_parser" · c38e1957
    Johannes Kanig authored
    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
session_scheduler.ml 34.2 KB