header { package = #test#,
         import = #vendingMachine.*# }

// This file includes the schema used for the following paper:
// Test Suite Selection Based on Traceability Annotations - Tool demonstration

// Definition of groups which add coins to the vending machine


// First a group which adds two coins
group Add2Coins[us=true] {
  VendingMachine vm = new VendingMachine();
      vm.coin([10,20,25,50,100,200]){2};
  }