Gradle plugin for Botsing
Build the plugin
./gradlew build
Build the plugin for local usage
./gradlew install
Try the plugin
Example using local jar
$ ./gradlew install
$ cd example/localJar/
$ ./gradlew botsing -Plocal --info
It will generate a test from Fraction.log and Fraction_libraries.jar. The generated test can be found in the directory crash-reproduction-tests/
.
Example using Maven jar
$ ./gradlew install
$ cd example/mavenJar/
$ ./gradlew botsing -Plocal --info
It will generate a test from SpaceNotFound.log and Scheduling project libraries uploaded on maven. The generated test can be found in the directory crash-reproduction-tests/
.
Configure the plugin
The plugin can be configured by modifying the file example/build.gradle. For more information about parameters, check the Botsing repository.
Required parameters
- The
logPath
parameter should contain the path to the log. - The
targetFrame
parameter should target the frame to reproduce. This number should be between 1 and the number of frames in the stack trace. - The
localArtifacts
ormavenArtifacts
should provide the libraries that will used for the generation (i.e ["/home/user/myPath/myLibrary.jar"].localArtifacts
provide a list of path to jar files.mavenArtifacts
provide a list of maven artifacts(i.e ["com.google.truth:truth:0.27"]). Using both may lead to conflict between libraries.
Optional parameters
- The
output
parameter enables to choose where the output will be generated. - The
botsingVersion
parameter enables to modify the Botsing version used. The default version is1.0.4
. - The
searchBudget
parameter enables to specify an additional parameter in format. - The
population
parameter from Botsing