| Parsed test spec with 8 sessions |
| |
| starting permutation: s1a1 s2a2 s3a3 s4a4 s5a5 s6a6 s7a7 s8a8 s1a2 s2a3 s3a4 s4a5 s5a6 s6a7 s7a8 s8a1 s8c s7c s6c s5c s4c s3c s2c s1c |
| step s1a1: LOCK TABLE a1; |
| step s2a2: LOCK TABLE a2; |
| step s3a3: LOCK TABLE a3; |
| step s4a4: LOCK TABLE a4; |
| step s5a5: LOCK TABLE a5; |
| step s6a6: LOCK TABLE a6; |
| step s7a7: LOCK TABLE a7; |
| step s8a8: LOCK TABLE a8; |
| step s1a2: LOCK TABLE a2; <waiting ...> |
| step s2a3: LOCK TABLE a3; <waiting ...> |
| step s3a4: LOCK TABLE a4; <waiting ...> |
| step s4a5: LOCK TABLE a5; <waiting ...> |
| step s5a6: LOCK TABLE a6; <waiting ...> |
| step s6a7: LOCK TABLE a7; <waiting ...> |
| step s7a8: LOCK TABLE a8; <waiting ...> |
| step s8a1: LOCK TABLE a1; <waiting ...> |
| step s8a1: <... completed> |
| ERROR: deadlock detected |
| step s7a8: <... completed> |
| step s8c: COMMIT; |
| step s7c: COMMIT; |
| step s6a7: <... completed> |
| step s6c: COMMIT; |
| step s5a6: <... completed> |
| step s5c: COMMIT; |
| step s4a5: <... completed> |
| step s4c: COMMIT; |
| step s3a4: <... completed> |
| step s3c: COMMIT; |
| step s2a3: <... completed> |
| step s2c: COMMIT; |
| step s1a2: <... completed> |
| step s1c: COMMIT; |
