Skip to content

Improve UTestValueDescriptor to UtModel conversion and state change asserts generation - #2691

Merged
EgorkaKulikov merged 5 commits into
usvm_competitions_2024from
ilya_m/contest/model_id
Nov 18, 2023
Merged

Improve UTestValueDescriptor to UtModel conversion and state change asserts generation#2691
EgorkaKulikov merged 5 commits into
usvm_competitions_2024from
ilya_m/contest/model_id

Commits

Commits on Nov 17, 2023