GENERATE_TESTCASE
GENERATE_TESTCASE(AA_wlock)
GENERATE_TESTCASE(AA_rlock)
GENERATE_TESTCASE(AA_mutex)
GENERATE_TESTCASE(AA_wsem)
GENERATE_TESTCASE(AA_rsem)
GENERATE_TESTCASE(AA_rtmutex);
GENERATE_TESTCASE(ABBA_spin)
GENERATE_TESTCASE(ABBA_wlock)
GENERATE_TESTCASE(ABBA_rlock)
GENERATE_TESTCASE(ABBA_mutex)
GENERATE_TESTCASE(ABBA_wsem)
GENERATE_TESTCASE(ABBA_rsem)
GENERATE_TESTCASE(ABBA_rtmutex);
GENERATE_TESTCASE(ABBCCA_spin)
GENERATE_TESTCASE(ABBCCA_wlock)
GENERATE_TESTCASE(ABBCCA_rlock)
GENERATE_TESTCASE(ABBCCA_mutex)
GENERATE_TESTCASE(ABBCCA_wsem)
GENERATE_TESTCASE(ABBCCA_rsem)
GENERATE_TESTCASE(ABBCCA_rtmutex);
GENERATE_TESTCASE(ABCABC_spin)
GENERATE_TESTCASE(ABCABC_wlock)
GENERATE_TESTCASE(ABCABC_rlock)
GENERATE_TESTCASE(ABCABC_mutex)
GENERATE_TESTCASE(ABCABC_wsem)
GENERATE_TESTCASE(ABCABC_rsem)
GENERATE_TESTCASE(ABCABC_rtmutex);
GENERATE_TESTCASE(ABBCCDDA_spin)
GENERATE_TESTCASE(ABBCCDDA_wlock)
GENERATE_TESTCASE(ABBCCDDA_rlock)
GENERATE_TESTCASE(ABBCCDDA_mutex)
GENERATE_TESTCASE(ABBCCDDA_wsem)
GENERATE_TESTCASE(ABBCCDDA_rsem)
GENERATE_TESTCASE(ABBCCDDA_rtmutex);
GENERATE_TESTCASE(ABCDBDDA_spin)
GENERATE_TESTCASE(ABCDBDDA_wlock)
GENERATE_TESTCASE(ABCDBDDA_rlock)
GENERATE_TESTCASE(ABCDBDDA_mutex)
GENERATE_TESTCASE(ABCDBDDA_wsem)
GENERATE_TESTCASE(ABCDBDDA_rsem)
GENERATE_TESTCASE(ABCDBDDA_rtmutex);
GENERATE_TESTCASE(ABCDBCDA_spin)
GENERATE_TESTCASE(ABCDBCDA_wlock)
GENERATE_TESTCASE(ABCDBCDA_rlock)
GENERATE_TESTCASE(ABCDBCDA_mutex)
GENERATE_TESTCASE(ABCDBCDA_wsem)
GENERATE_TESTCASE(ABCDBCDA_rsem)
GENERATE_TESTCASE(ABCDBCDA_rtmutex);
GENERATE_TESTCASE(double_unlock_spin)
GENERATE_TESTCASE(double_unlock_wlock)
GENERATE_TESTCASE(double_unlock_rlock)
GENERATE_TESTCASE(double_unlock_mutex)
GENERATE_TESTCASE(double_unlock_wsem)
GENERATE_TESTCASE(double_unlock_rsem)
GENERATE_TESTCASE(double_unlock_rtmutex);
GENERATE_TESTCASE(init_held_spin)
GENERATE_TESTCASE(init_held_wlock)
GENERATE_TESTCASE(init_held_rlock)
GENERATE_TESTCASE(init_held_mutex)
GENERATE_TESTCASE(init_held_wsem)
GENERATE_TESTCASE(init_held_rsem)
GENERATE_TESTCASE(init_held_rtmutex);