Introduce `Tool.USVM` in `ContestEstimator`, implement `runUsvmGeneration`

UnitTestBot / UTBotJava

Automated unit test generation and precise code analysis for Java

Apache License 2.0

136 stars 43 forks source link

Closed IlyaMuravjov closed 1 year ago

IlyaMuravjov commented 1 year ago

First implementation of runUsvmGeneration, not fully finished. This PR is needed for work synchronization.