group BS_ARQ {

  // Testcase definitions.

  testcase TC_BS_ARQ_BV_H000() runs on Simu system TestAdapter {...}

  testcase TC_BS_ARQ_BV_H002() runs on Simu system TestAdapter {...}

  testcase TC_BS_ARQ_BV_H005() runs on Simu system TestAdapter {...}

  testcase TC_BS_ARQ_BV_H006() runs on Simu system TestAdapter {...}

  testcase TC_BS_ARQ_BV_H007() runs on Simu system TestAdapter {...}

  testcase TC_BS_ARQ_BV_H008() runs on Simu system TestAdapter {...}
}