Fix/parsing constraint failed

reference-tests/src/test/java/net/consensys/linea/ReferenceTestWatcher.java

@@ -24,6 +24,8 @@
 public class ReferenceTestWatcher extends LineaTestWatcher {
   @Override
   public String getTestName(ExtensionContext context) {
-    return context.getDisplayName().split(": ")[1];
+    return context.getTestClass().map(c -> c.getSimpleName()).orElse("")
+        + ":"
+        + context.getDisplayName().split(": ")[1];
   }
 }

testing/src/main/java/net/consensys/linea/reporting/TestOutcomeWriterTool.java

@@ -134,6 +134,7 @@ 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 +189,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("\\.");
     }