Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'origin/stepanov/jvm-instrumentation' in…
…to stepanov/jvm-instrumentation # Conflicts: # usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/executor/InstrumentationProcessRunner.kt # usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/testcase/descriptor/Value2DescriptorConverter.kt # usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/util/constants.kt # usvm-jvm/src/main/kotlin/org/usvm/api/util/JcTestInterpreter.kt # usvm-jvm/src/test/kotlin/org/usvm/samples/JavaMethodTestRunner.kt # usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt # usvm-jvm/src/test/kotlin/org/usvm/util/UTestRunnerController.kt
- Loading branch information