remove unnecessary conditional

This commit is contained in:
Alex Stokes 2022-01-06 15:34:59 -08:00
parent a8298026c1
commit d74cb5c9ec
No known key found for this signature in database
GPG Key ID: 99B3D88FD6C55A69

View File

@ -104,17 +104,16 @@ def invalid_cases():
RandomizationMode.mode_nil_count, RandomizationMode.mode_nil_count,
RandomizationMode.mode_one_count, RandomizationMode.mode_one_count,
RandomizationMode.mode_max_count]: RandomizationMode.mode_max_count]:
if len(offsets) != 0: for offset_index in offsets:
for offset_index in offsets: yield f'{name}_{mode.to_name()}_offset_{offset_index}_plus_one', \
yield f'{name}_{mode.to_name()}_offset_{offset_index}_plus_one', \ invalid_test_case(lambda: mod_offset(
invalid_test_case(lambda: mod_offset( b=serialize(container_case_fn(rng, mode, typ)),
b=serialize(container_case_fn(rng, mode, typ)), offset_index=offset_index,
offset_index=offset_index, change=lambda x: x + 1
change=lambda x: x + 1 ))
)) yield f'{name}_{mode.to_name()}_offset_{offset_index}_zeroed', \
yield f'{name}_{mode.to_name()}_offset_{offset_index}_zeroed', \ invalid_test_case(lambda: mod_offset(
invalid_test_case(lambda: mod_offset( b=serialize(container_case_fn(rng, mode, typ)),
b=serialize(container_case_fn(rng, mode, typ)), offset_index=offset_index,
offset_index=offset_index, change=lambda x: 0
change=lambda x: 0 ))
))