🚸 Augment test with text output in failing case

Author: ystade

test/na/test_namapper.cpp

@@ -30,7 +30,9 @@
 
 namespace na {
 auto validateAODConstraints(const NAComputation& comp) -> bool {
+  std::size_t counter = 1; // the first operation is `init at ...;`
   for (const auto& naOp : comp) {
+    ++counter;
     if (naOp->isShuttlingOperation()) {
       const auto& shuttlingOp =
           dynamic_cast<const NAShuttlingOperation&>(*naOp);
@@ -44,27 +46,35 @@ auto validateAODConstraints(const NAComputation& comp) -> bool {
           const auto& e1 = shuttlingOp.getEnd()[i];
           const auto& e2 = shuttlingOp.getEnd()[j];
           if (*s1 == *s2) {
+            std::cout << "Error in op number " << counter << " (two start points identical)\n";
             return false;
           }
           if (*e1 == *e2) {
+            std::cout << "Error in op number " << counter << " (two end points identical)\n";
             return false;
           }
           if (s1->x == s2->x && e1->x != e2->x) {
+            std::cout << "Error in op number " << counter << " (columns not preserved)\n";
             return false;
           }
           if (s1->y == s2->y && e1->y != e2->y) {
+            std::cout << "Error in op number " << counter << " (rows not preserved)\n";
             return false;
           }
           if (s1->x < s2->x && e1->x >= e2->x) {
+            std::cout << "Error in op number " << counter << " (column order not preserved)\n";
             return false;
           }
           if (s1->y < s2->y && e1->y >= e2->y) {
+            std::cout << "Error in op number " << counter << " (row order not preserved)\n";
             return false;
           }
           if (s1->x > s2->x && e1->x <= e2->x) {
+            std::cout << "Error in op number " << counter << " (column order not preserved)\n";
             return false;
           }
           if (s1->y > s2->y && e1->y <= e2->y) {
+            std::cout << "Error in op number " << counter << " (row order not preserved)\n";
             return false;
           }
         }
@@ -76,6 +86,7 @@ auto validateAODConstraints(const NAComputation& comp) -> bool {
           const auto& a = localOp.getPositions()[i];
           const auto& b = localOp.getPositions()[j];
           if (*a == *b) {
+            std::cout << "Error in op number " << counter << " (identical positions)\n";
             return false;
           }
         }