Damtev/symbolic tests fixes - #1253

Draft

Damtev wants to merge 11 commits into

mainfrom

damtev/symbolic_tests_fixes

Commits on Oct 28, 2022

Disabled concrete execution for tests
Damtev
committed
de2d0e2
Used coverage calculation instead of matchers for flaky executions number in some Map tests
Damtev
committed
38597a7
Used coverage calculation instead of matchers for flaky executions number in some Set tests
Damtev
committed
f972a93
Used coverage calculation instead of matchers for flaky executions number in some List tests
Damtev
committed
ad246cb
Used coverage calculation instead of matchers for flaky executions number in MapPart1 tests
Damtev
committed
bd06798
Fixed rebase errors
Damtev
committed
a8d1f92
Fixed matchers for lambda test
Damtev
committed
56dbfd0
Added task for other failed tests
Damtev
committed
5b47b3b
Removed redundant withoutConcrete
Damtev
committed
53411ad
Unshelved forgotten changes
Damtev
committed
b8e8469
Fixed failed test
Damtev
committed
2f13236