This commit is contained in:
Alex Stokes 2021-08-22 10:54:00 -07:00
parent f76a29c1f9
commit ce471b702e
No known key found for this signature in database
GPG Key ID: 99B3D88FD6C55A69

View File

@ -160,6 +160,8 @@ def _transition_to_leaking():
}
_transition_without_leak = _with_validation(_no_op_transition, _validate_is_not_leaking)
## block transitions
def _transition_with_random_block(epochs=None, slots=None):
@ -300,7 +302,6 @@ def _generate_randomized_scenarios():
# and preface each block transition with the possible leak transitions
# (... either no leak or transition to a leak before applying the block transition)
_transition_without_leak = _with_validation(_no_op_transition, _validate_is_not_leaking)
leak_transitions = (
_transition_without_leak,
_transition_to_leaking,