From f9657363a15c08b50ae413683fc3ff483e61ff65 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 5 Jan 2022 18:19:07 +0100
Subject: [PATCH] [Marabou] Custom format for negative reals.
---
src/printers/marabou.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/printers/marabou.ml b/src/printers/marabou.ml
index 71eb46a9..72568d3b 100644
--- a/src/printers/marabou.ml
+++ b/src/printers/marabou.ml
@@ -21,7 +21,8 @@ let number_format =
Why3.Number.hex_int_support = `Unsupported;
Why3.Number.oct_int_support = `Unsupported;
Why3.Number.bin_int_support = `Unsupported;
- Why3.Number.negative_real_support = `Default;
+ Why3.Number.negative_real_support =
+ `Custom (fun fmt f -> Fmt.pf fmt "-%t" f);
Why3.Number.dec_real_support = `Default;
Why3.Number.hex_real_support = `Unsupported;
Why3.Number.frac_real_support = `Unsupported (fun _ _ -> assert false);
--
GitLab