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

Replace `UtAssembleModel`s that only use reflection with `UtComposite…

fdc4ae4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs