Skip to content

org.usvm.usvm-jvm-instrumentation 1.0.0-competition

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>org.usvm</groupId>
  <artifactId>usvm-jvm-instrumentation</artifactId>
  <version>1.0.0-competition</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Documentation

No description available yet.

The 1.0.0-competition version of this package has been published Nov 13, 2023.

Details

  • @UnitTestBot UnitTestBot
  • November 13, 2023
  • 10 dependencies
  • Apache License 2.0

Assets

Download activity

  • Total downloads 1
  • Last 30 days 0
  • Last week 0
  • Today 0

Topics

symbolic-execution program-analysis test-generation

Recent versions

View all