Skip to content

dk.au.ece.vdmj.quickcheck 4.6.0-P Latest version

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>dk.au.ece.vdmj</groupId>
  <artifactId>quickcheck</artifactId>
  <version>4.6.0-P</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Direct execution plugin for PO verification.