v12
-
UTBotJava
commit 3b975d2e1e81171999980131b5fc92ed3315411c
Author: Vyacheslav Tamarin [email protected]
Date: Mon Dec 4 09:11:22 2023 +0300Change ReduceValueProvider
-
usvm
commit c06095919afdfba972afe3b47904b915a18eafb8
Author: Ekaterina Tochilina [email protected]
Date: Fri Dec 1 19:59:41 2023 +0300One more check