JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
527
stars
334
forks
source link
Disable the jacoco task from executing by default. #420
Retain jacocoTestReport as a standalone task which can be run by executing the command
./gradlew jacocoTestReport