Commit c3e3e4d0 authored by David Hauzar's avatar David Hauzar

Fix of printing decimal values of counterexample elements into JSON.

parent f0cdb661
......@@ -82,13 +82,11 @@ print_model_value_sanit sanit_print fmt value =
match value with
| Integer s -> sanit_print fmt s
| Decimal (int_part, fract_part) ->
sanit_print fmt int_part;
sanit_print fmt ".";
sanit_print fmt fract_part;
sanit_print fmt (int_part^"."^fract_part)
| Unparsed s -> sanit_print fmt s
| Array a ->
print_array str_formatter a;
sanit_print fmt (flush_str_formatter ());
sanit_print fmt (flush_str_formatter ())
| Bitvector v -> sanit_print fmt (string_of_int v)
and
print_model_value fmt 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