./gradlew shadowJar

cd example/
./gradlew botsing

It will generate a test from Fraction.log and Fraction_libraries.jar in the result directory.

The plugin can be configured by modifying the file example/build.gradle. For more information about parameters, check the Botsing repository.

• The logPath parameter should contain the path to the log.
• The libsPath parameter should contain the path to the classes.
• The targetFrame paramater should target the frame to reproduce. This number should be between 1 and the number of frames in the stack trace.

• The output parameter enables to choose where the output will be generated.
• The searchBudget parameter enables to specify an additional parameter in format.
• The population parameter