Skip to content

Use usvm samples instead of UtBot ones - #2685

Merged
EgorkaKulikov merged 1 commit into
usvm_competitions_2024from
egor/samples_from_usvm
Nov 13, 2023
Merged

EgorkaKulikov merged 1 commit into
usvm_competitions_2024from
egor/samples_from_usvm

Commits

Commits on Nov 13, 2023