
NOTE: ALL TESTING STRATEGIES AND DETAILED BEHAVIOR FOR EACH CASE ARE DESCRIBED 
IN THE FOODBANK REPORT. 

The corresponding MA files for these models are labelled as admin.ma, sort.ma,
pack.ma, DistributionCentre.ma and FoodBank.ma

The corresponding scripts for testing these models are listed as follows:
Admin Model:
   admin.bat -> testing for case
Sort Model:   
   Sort.bat -> testing for case
Pack Model:
   Pack.bat -> testing for case
DistributionCentre Model:
   DistributionCentre.bat -> testing for case
FoodBank Model:
  FoodBank.bat -> testing for case

The corresponding EV files for testing these models are listed as follows:
Admin Model:
   admin.ev -> testing for case
Sort Model:   
   sort.ev -> testing for case
Pack Model:
   pack.ev -> testing for case
DistributionCentre Model:
   DistributionCentre.ev -> testing for case
FoodBank Model:
  FoodBank.ev -> testing for case

The corresponding LOG files for these models are listed as follows:
Admin Model:
   admin.log -> testing for case
Sort Model:   
   sort.log -> testing for case
Pack Model:
   pack.log -> testing for case
DistributionCentre Model:
   DistributionCentre.log -> testing for case
FoodBank Model:
  FoodBank.log -> testing for case
