fixing lint

This commit is contained in:
Antonio Sanso 2022-01-06 13:29:57 +01:00
parent b5908cf294
commit db16f590cb
1 changed files with 1 additions and 1 deletions

View File

@ -124,7 +124,7 @@ def invalid_cases():
b=serialize(container_case_fn(rng, mode, typ)),
offset_index=offset_index,
change=lambda x: x - 1
))
))
if mode == RandomizationMode.mode_max_count:
serialized = serialize(container_case_fn(rng, mode, typ))
serialized = serialized + serialized[0:2]