Skip to content

Initial implementations of the adapter from JcExecution to UtExecution#2677

Merged
EgorkaKulikov merged 31 commits into
usvm_competitions_2024from
egor/jc_to_ut_models_converter
Nov 9, 2023
Merged

Initial implementations of the adapter from JcExecution to UtExecution#2677
EgorkaKulikov merged 31 commits into
usvm_competitions_2024from
egor/jc_to_ut_models_converter

Fix review comments

813c2d6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs