v23

• UTBotJava

commit 5f1d78e3463aa4d7411f7bd8325e365d9d1f7c10 (HEAD -> tochilinak/usvm-python, origin/tochilinak/usvm-python)
Author: Ekaterina Tochilina tochilina.2002@yandex.ru
Date: Fri Mar 1 13:53:25 2024 +0300

updated usvm

• usvm

commit 086702cf4a90685f7d10f6c146c63edc5144b7fe (HEAD -> tochilinak/python, origin/tochilinak/python)
Author: Ekaterina Tochilina tochilina.2002@yandex.ru
Date: Fri Mar 1 13:41:25 2024 +0300

Added WeightedByNumberOfVirtualPathSelector; changed baseline probabilities