verify_wa_lists

1218

ok = verify_wa_lists(gt, lists, "before reset");

1224

ok = verify_wa_lists(gt, lists, "after reset");

1279

ok = verify_wa_lists(gt, lists, "before reset");

1291

ok = verify_wa_lists(gt, lists, "after idle reset");

1340

ok = verify_wa_lists(gt, lists, "after busy reset");