v16

tochilinak released this 06 Dec 12:01

· 4 commits to main since this release

a0610ce

UTBotJava
commit d107f1163721032c2b46e66cf7162e7d648133a0
Author: Ekaterina Tochilina [email protected]
Date: Wed Dec 6 14:38:50 2023 +0300
```
Separated symbolic receiver and symbolic evaluator
```
usvm
commit 4b8ba41d0488d97ec7a7e06d86c33dd19f756256
Author: tochilinak [email protected]
Date: Tue Dec 5 20:16:46 2023 +0300
```
Added repetition check in NewStateObserverForRunner
```

Assets 3