From 105544e20716647bfd7341be969501afb9e13849 Mon Sep 17 00:00:00 2001
From: Agathe Herrou <herrou@grame.fr>
Date: Fri, 8 Dec 2023 16:58:59 +0100
Subject: [PATCH] Logging in backwards precision computation

---
 compiler/interval/check.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/interval/check.cpp b/compiler/interval/check.cpp
index 69d31376b7..48ee74f8bd 100644
--- a/compiler/interval/check.cpp
+++ b/compiler/interval/check.cpp
@@ -500,6 +500,7 @@ void propagateBackwardsUnaryMethod(const char* title, umth mp, itv::interval& X,
     {
         X = itv::interval(X.lo(), X.hi(), X.lsb() + 1);
         Z = (A.*mp)(X);
+        std::cout << X.lsb() << " -> " << Z.lsb() << std::endl;
     }
 
     if (Z.lsb() > l) // if we've overshot the target lsb