Commit b33da14f authored by Sylvain Dailler's avatar Sylvain Dailler

Do not report counterexamples containing errors.

parent 9b8b5f11
......@@ -245,7 +245,7 @@ and convert_to_model_value (t: term): Model_parser.model_value =
| Array a -> Model_parser.Array (convert_array_value a)
| Record (_n, l) ->
Model_parser.Record (convert_record l)
| Cvc4_Variable _v -> Model_parser.Unparsed "!"
| Cvc4_Variable _v -> raise Not_value (*Model_parser.Unparsed "!"*)
(* TODO change the value returned for non populated Cvc4 variable '!' -> '?' ? *)
| To_array t -> convert_to_model_value (Array (convert_z3_array t))
| Function_Local_Variable _ | Variable _ | Ite _ | Discr _ -> raise Not_value
......
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