Commit e706362b authored by David Hauzar's avatar David Hauzar

Merge branch 'new_counterexample_parser' of...

Merge branch 'new_counterexample_parser' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3 into new_counterexample_parser

Conflicts:
	src/driver/parse_cvc4_z3_model.ml
parents 9a365b17 159468e4
......@@ -80,7 +80,6 @@ let do_parsing model =
[]
end
(* Parses the model returned by CVC4 or Z3.
Assumes that the model has the following form "model: (pairs)"
Returns the list of pairs term - value *)
......@@ -95,5 +94,5 @@ let parse input printer_mapping =
update_element_names_and_locations raw_model printer_mapping.queried_terms []
with Not_found -> []
let () = register_model_parser "cvc4_z3" parse
let () = register_model_parser "cvc4_z3_obsolete" parse
~desc:"Parser@ for@ the@ model@ of@ cv4@ and@ z3."
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment