Skip to content

SBFT'24 An attempt to support UTestGlobalMock in converters - #2690

Merged
IlyaMuravjov merged 3 commits into
usvm_competitions_2024from
egor/contest_utestglobalmock_support
Nov 22, 2023
Merged

SBFT'24 An attempt to support UTestGlobalMock in converters#2690
IlyaMuravjov merged 3 commits into
usvm_competitions_2024from
egor/contest_utestglobalmock_support

Corrected valueModels for global constructors mocks

ddae79a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs