parse new responses format

Consensys · Jan 31, 2025 · 8266cab · 8266cab
1 parent 29b18f3
commit 8266cab
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/testing/src/main/java/net/consensys/linea/reporting/TestOutcomeWriterTool.java b/testing/src/main/java/net/consensys/linea/reporting/TestOutcomeWriterTool.java
@@ -134,6 +134,8 @@ public static Map<String, Set<String>> extractConstraints(String message) {
           String failingConstraints =
               line.substring(line.indexOf("failing constraint") + "failing constraint".length())
                   .replace(':', ' ');
+
+
           getPairFromString(failingConstraints, pairs);
         }
       }
@@ -188,6 +190,8 @@ private static void getPairFromString(String constraint, Map<String, Set<String>
     String[] pair;
     if (constraint.contains("-into-")) {
       pair = constraint.split("-into-");
+    } else if (constraint.contains("---")) {
+      pair = constraint.split("---");
     } else {
       pair = constraint.split("\\.");
     }