Improve `UTestValueDescriptor` to `UtModel` conversion and state change asserts generation

UnitTestBot / UTBotJava

Automated unit test generation and precise code analysis for Java

Apache License 2.0

133 stars 38 forks source link

Closed IlyaMuravjov closed 7 months ago

IlyaMuravjov commented 7 months ago

Should be merged after https://github.com/UnitTestBot/usvm/pull/112 is merged and usvmVersion is updated in gradle.properties.