anchor.diff:      }).
   
   
  +pause_finished_atm_workflow_execution() ->
  +    atm_workflow_execution_test_runner:run(#atm_workflow_execution_test_spec{
  +        provider = ?PROVIDER_SELECTOR,
  +        user = ?USER_SELECTOR,
  +        space = ?SPACE_SELECTOR,
  +        workflow_schema_dump_or_draft = ?ECHO_ATM_WORKFLOW_SCHEMA_DRAFT,
  +        workflow_schema_revision_num = 1,
  +        incarnations = [#atm_workflow_execution_incarnation_test_spec{
  +            incarnation_num = 1,
  +            lane_runs = [
  +                #atm_lane_run_execution_test_spec{selector = {1, 1}},
  +                #atm_lane_run_execution_test_spec{selector = {2, 1}}
  +            ],
  +            handle_workflow_execution_stopped = #atm_step_mock_spec{
  +                after_step_exp_state_diff = fun(#atm_mock_call_ctx{workflow_execution_exp_state = ExpState0}) ->
  +                    ExpState1 = expect_lane_runs_rerunable([{1, 1}, {2, 1}], ExpState0),
  +                    {true, atm_workflow_execution_exp_state_builder:expect_workflow_execution_finished(ExpState1)}
  +                end
  +            },
  +            after_hook = fun assert_ended_atm_workflow_execution_can_not_be_paused/1
  +        }]
  +    }).
  +
  +
   %%%===================================================================
   %%% Internal functions
   %%%===================================================================
  
positive.code: -export([
      pause_scheduled_atm_workflow_execution/0,
  
      pause_finishing_atm_workflow_execution/0
  ]).
  
  
  
negative.code:     lists:foldl(fun(AtmLaneRunSelector, ExpStateAcc) ->
          atm_workflow_execution_exp_state_builder:expect_lane_run_rerunable(AtmLaneRunSelector, ExpStateAcc)
      end, ExpState, AtmLaneRunSelectors).
  
  
  %% @private
  assert_ended_atm_workflow_execution_can_not_be_paused(AtmMockCallCtx = #atm_mock_call_ctx{
      workflow_execution_exp_state = ExpState0
  }) ->
      ?assertThrow(
          ?ERROR_ATM_WORKFLOW_EXECUTION_ENDED,
          atm_workflow_execution_test_runner:pause_workflow_execution(AtmMockCallCtx)
      ),
      ?assert(atm_workflow_execution_exp_state_builder:assert_matches_with_backend(ExpState0, 0)).
  