Create mocks in output values - #2701

Merged

EgorkaKulikov merged 2 commits into

usvm_competitions_2024from

ilya_m/contest/mocks

Nov 28, 2023

Commits on Nov 28, 2023

Update `JcTestExecutor` to resolve mocks
IlyaMuravjov
authored and
EgorkaKulikov
committed
d0d5f6c
Remove approximations specific methods filter
IlyaMuravjov
authored and
EgorkaKulikov
committed
b966727