[ibc] Remove check_mv_cost_satd since it is not needed and causes an … #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
basic-test	2m 9s
test-asan	5m 56s
test-valgrind	2m 6s
test-ubsan	6m 12s
	16m 23s