anchor.diff:  -export([
       pause_scheduled_atm_workflow_execution/0,
   
  -    pause_finishing_atm_workflow_execution/0
  +    pause_finishing_atm_workflow_execution/0,
  +    pause_finished_atm_workflow_execution/0
   ]).
   
   
  
positive.code:     lists:foldl(fun(AtmLaneRunSelector, ExpStateAcc) ->
          atm_workflow_execution_exp_state_builder:expect_lane_run_rerunable(AtmLaneRunSelector, ExpStateAcc)
      end, ExpState, AtmLaneRunSelectors).
  
negative.code:     }).
  
  
  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
  %%%===================================================================
  