java-fv-parent io.github.o2alexanderfedin.javafv 1.2.0 4.0.0 compiler-plugin Java-FV Compiler Plugin javac plugin for ACSL constraint inference maven-compiler-plugin test-compile-with-jmh test-compile testCompile org.openjdk.jmh jmh-generator-annprocess 1.37 org.immutables value ${immutables.version} com.google.auto.service auto-service ${auto-service.version} org.openjdk.jmh jmh-generator-annprocess 1.37 **/SmtLibBuilderTest.java **/benchmark/InterproceduralAnalyzerBenchmark.java **/benchmark/PatternMatcherBenchmark.java **/PostconditionAnalyzerTest.java **/RecordAndSealedIntegrationTest.java **/RecordInvariantExtractorTest.java **/ReflectionBypassDetectorTest.java **/PatternContractGeneratorTest.java **/ExhaustivenessEncoderTest.java **/AtomicSemanticAnalyzerTest.java **/LockOrderAnalyzerTest.java **/LockOrderEncoderTest.java **/AtomicEncoderTest.java **/ConcurrencyPipelineIntegrationTest.java **/ConcurrencySmtIntegrationTest.java **/ExceptionPathEncoderTest.java **/TreeCompatTest.java org.jacoco jacoco-maven-plugin 0.8.12 jacoco-prepare-agent prepare-agent jacoco-report verify report jacoco-check verify check BUNDLE INSTRUCTION COVEREDRATIO 0.80 maven-surefire-plugin @{argLine} **/benchmark/** **/jmh_generated/** maven-shade-plugin 3.5.1 package shade benchmarks false true org.openjdk.jmh.Main *:* META-INF/*.SF META-INF/*.DSA META-INF/*.RSA *:* maven-checkstyle-plugin 3.6.0 checkstyle.xml true false warning maven-pmd-plugin 3.28.0 false true benchmark org.codehaus.mojo exec-maven-plugin 3.1.1 run-benchmarks verify exec java -jar ${project.build.directory}/benchmarks.jar -rf json -rff ${project.build.directory}/benchmark-results.json org.immutables value 2.10.0 provided com.google.auto.service auto-service 1.1.1 provided org.junit.jupiter junit-jupiter-api 5.10.1 test opentest4j org.opentest4j junit-platform-commons org.junit.platform apiguardian-api org.apiguardian org.junit.jupiter junit-jupiter-engine 5.10.1 test junit-platform-engine org.junit.platform apiguardian-api org.apiguardian org.junit.jupiter junit-jupiter-params 5.10.1 test apiguardian-api org.apiguardian org.assertj assertj-core 3.24.2 test byte-buddy net.bytebuddy org.mockito mockito-core 5.15.2 test byte-buddy-agent net.bytebuddy objenesis org.objenesis byte-buddy net.bytebuddy org.mockito mockito-junit-jupiter 5.15.2 test org.eclipse.jgit org.eclipse.jgit 6.8.0.202311291450-r test JavaEWAH com.googlecode.javaewah commons-codec commons-codec org.openjdk.jmh jmh-core 1.37 test jopt-simple net.sf.jopt-simple commons-math3 org.apache.commons org.openjdk.jmh jmh-generator-annprocess 1.37 test