Add args loggign

rohanpadhye · Sep 5, 2024 · 4786c1f · 4786c1f
1 parent 0ccfcd1
commit 4786c1f
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/junit/quickcheck/FuzzStatement.java b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/junit/quickcheck/FuzzStatement.java
@@ -186,7 +186,7 @@ public void evaluate() throws Throwable {
                     if (result == SUCCESS) {
                         observability.addTiming(startTrialTime, endGenerationTime, endTrialTime);
                     }
-                    observability.add("representation", Arrays.toString(args));
+                    observability.addArgs(args);
 
                     if (guidance instanceof ZestGuidance) {
                         observability.add("how_generated", "Zest");

diff --git a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/util/Observability.java b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/util/Observability.java
@@ -8,6 +8,7 @@
 import java.io.FileWriter;
 import java.nio.file.Path;
 import java.nio.file.Paths;
+import java.util.Arrays;
 
 import static edu.berkeley.cs.jqf.fuzz.guidance.Result.FAILURE;
 import static edu.berkeley.cs.jqf.fuzz.guidance.Result.INVALID;
@@ -81,6 +82,15 @@ public void addTiming(long startTime, long endGenerationTime, long endExecutionT
         timingObject.put("execution", endExecutionTime - endGenerationTime);
     }
 
+    public void addArgs(Object[] args) {
+        JsonNode argsNode = testCaseJsonObject.get("args");
+        ObjectNode argsObject = (ObjectNode) argsNode;
+        for (int i = 0; i < args.length; i++) {
+            argsObject.put("arg" + i, args[i].toString());
+        }
+        add("representation", Arrays.toString(args));
+    }
+
     public void add(String key, String value) {
         testCaseJsonObject.put(key, value);
     }