Skip to content

Introduce Tool.USVM in ContestEstimator, implement runUsvmGeneration#2666

Merged
IlyaMuravjov merged 4 commits into
usvm_competitions_2024from
ilya_m/contest-usvm-tool
Oct 27, 2023
Merged

Introduce Tool.USVM in ContestEstimator, implement runUsvmGeneration#2666
IlyaMuravjov merged 4 commits into
usvm_competitions_2024from
ilya_m/contest-usvm-tool

Use `UTestExecutionResult.trace` instead of `JcCoverage`

675a797
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs