Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ChocoPy type-directed generator #259

Draft
wants to merge 17 commits into
base: master
Choose a base branch
from
Draft
Original file line number Diff line number Diff line change
@@ -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");
Original file line number Diff line number Diff line change
@@ -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);
}