Logging in backwards precision computation

grame-cncm · Dec 12, 2023 · c44e83b · c44e83b
1 parent 9b47fe6
commit c44e83b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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