Correct test to reflect new concolic iteration settings