v18
- UTBotJava
commit fbd51ed7f3a888b063abd2098bbeb7d2d1c5a452
Author: Vyacheslav Tamarin [email protected]
Date: Thu Dec 7 13:13:27 2023 +0300Fix collision variable name with module name
- usvm
commit 2a521d7cd34c239e20ea96cfda57a1d9e023a124
Author: tochilinak [email protected]
Date: Thu Dec 7 13:24:54 2023 +0300Added str_eq and str_neq