Repository navigation

Usvm competitions 2024: jacodb persistence - #2703

Merged

EgorkaKulikov merged 2 commits into

UnitTestBot:usvm_competitions_2024from

Saloed:usvm_competitions_2024

Nov 30, 2023

Merged

Usvm competitions 2024: jacodb persistence#2703
EgorkaKulikov merged 2 commits into
UnitTestBot:usvm_competitions_2024from
Saloed:usvm_competitions_2024

Commits on Nov 29, 2023
- Use jacodb persistence
  Saloed
  committed
  74ef70b
- Update usvm version
  Saloed
  committed
  833aba9