DO_TESTCASE_6R

2858

DO_TESTCASE_6R("A-A deadlock", AA);

2859

DO_TESTCASE_6R("A-B-B-A deadlock", ABBA);

2860

DO_TESTCASE_6R("A-B-B-C-C-A deadlock", ABBCCA);

2861

DO_TESTCASE_6R("A-B-C-A-B-C deadlock", ABCABC);

2862

DO_TESTCASE_6R("A-B-B-C-C-D-D-A deadlock", ABBCCDDA);

2863

DO_TESTCASE_6R("A-B-C-D-B-D-D-A deadlock", ABCDBDDA);

2864

DO_TESTCASE_6R("A-B-C-D-B-C-D-A deadlock", ABCDBCDA);