4.0.0 de.rwth.i2 attestor-examples 0.3.2 jar Attestor Benchmark Collection Collection of executable benchmarks for Attestor. https://github.com/moves-rwth/attestor-examples GNU General Public License, version 3 https://opensource.org/licenses/GPL-3.0 Christoph Matheja matheja@cs.rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ Dr. Christina Jansen christina.jansen@cs.rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ Hannah Arndt hannah.arndt@rwth-aachen.de Software Modeling and Verification Group - RWTH Aachen University https://moves.rwth-aachen.de/ scm:git:git://github.com/moves-rwth/attestor-examples.git scm:git:ssh://github.com/moves-rwth/attestor-examples.git https://github.com/moves-rwth/attestor-examples/tree/master 0.3.2 1.19 1.8 benchmarks UTF-8 UTF-8 1.8 1.8 ossrh https://oss.sonatype.org/content/repositories/snapshots org.sonatype.plugins nexus-staging-maven-plugin 1.6.8 true ossrh https://oss.sonatype.org/ true org.apache.maven.plugins maven-source-plugin 3.0.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.0.0 attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.6 sign-artifacts verify sign org.apache.maven.plugins maven-compiler-plugin 3.1 ${javac.target} ${javac.target} ${javac.target} org.apache.maven.plugins maven-shade-plugin 2.2 package shade ${uberjar.name} org.openjdk.jmh.Main *:* META-INF/*.SF META-INF/*.DSA META-INF/*.RSA org.codehaus.mojo exec-maven-plugin 1.6.0 run exec -Dattestor.ne=true -Dattestor.checkExpectedSize=true -Djmh.ignoreLock=true -jar ${project.build.directory}${file.separator}benchmarks.jar -bm ss -f 1 -rf text -foe true runWithReport exec -Dattestor.checkExpectedSize=true -Djmh.ignoreLock=true -jar ${project.build.directory}${file.separator}benchmarks.jar -bm ss -f 1 -rf text -foe true benchmark exec -Dattestor.ne=true -Dattestor.checkExpectedSize=false -Djmh.ignoreLock=true -jar ${project.build.directory}${file.separator}benchmarks.jar -bm avgt -f 1 -rf text -foe true java org.openjdk.jmh jmh-core ${jmh.version} org.openjdk.jmh jmh-generator-annprocess ${jmh.version} provided de.rwth.i2 attestor-benchmark-helper ${benchmarkHelper.version}