Parsed test spec with 3 sessions

starting permutation: s1-begin s1-assign-dist-tx-id s2-begin s2-assign-dist-tx-id s1-update-1 s2-update-2 s2-update-1 deadlock-checker-call s1-update-2 deadlock-checker-call s1-finish s2-finish
step s1-begin:
  BEGIN;

step s1-assign-dist-tx-id:
  SELECT assign_distributed_transaction_id (1, 1, '2017-08-22 13:34:22.844055+03');

assign_distributed_transaction_id


step s2-begin:
  BEGIN;

step s2-assign-dist-tx-id:
  SELECT assign_distributed_transaction_id (2, 1, '2017-08-22 13:34:22.844055+03');

assign_distributed_transaction_id


step s1-update-1:
  UPDATE mx_deadlock_test SET some_val = 1 WHERE user_id = 1;

step s2-update-2:
  UPDATE mx_deadlock_test SET some_val = 2 WHERE user_id = 2;

step s2-update-1:
  UPDATE mx_deadlock_test SET some_val = 2 WHERE user_id = 1;
 <waiting ...>
step deadlock-checker-call:
  SELECT check_distributed_deadlocks();

check_distributed_deadlocks

f
step s1-update-2:
  UPDATE mx_deadlock_test SET some_val = 1 WHERE user_id = 2;
 <waiting ...>
step deadlock-checker-call:
  SELECT check_distributed_deadlocks();

check_distributed_deadlocks

t
step s1-update-2: <... completed>
step s2-update-1: <... completed>
error in steps s1-update-2 s2-update-1: ERROR:  deadlock detected
step s1-finish:
  COMMIT;

step s2-finish:
  COMMIT;

restore_isolation_tester_func