Repository navigation

Usvm distribution for the contest - #2704

Merged

EgorkaKulikov merged 4 commits into

UnitTestBot:usvm_competitions_2024from

Saloed:usvm_competitions_2024_dist

Nov 30, 2023

Merged

Usvm distribution for the contest#2704
EgorkaKulikov merged 4 commits into
UnitTestBot:usvm_competitions_2024from
Saloed:usvm_competitions_2024_dist

Commits on Nov 30, 2023
- utbot-usvm runtool distribution
  Saloed
  committed
  9e2d1f5
- Minor fixes
  Saloed
  committed
  9970a2b
- Minor fixes
  Saloed
  committed
  5e18ef4
- Mark as executable
  Saloed
  committed
  f1603ec