Error appears on test case generation