Make USVM descriptor to UtModel cache consider state kind (initial or final) - #2697

Make USVM descriptor to UtModel cache consider state kind (initial or final)#2697

EgorkaKulikov merged 1 commit into

usvm_competitions_2024UnitTestBot/UTBotJava:usvm_competitions_2024from

ilya_m/contest/cache-by-state-kindUnitTestBot/UTBotJava:ilya_m/contest/cache-by-state-kindCopy head branch name to clipboard