[Cs5500] Testing Result Report 04-15:

[Liang Yu]

Testing Result Report:

To implementor teams:

we noticed that in the file:
GenericsSCG/test/rules/TestStrengthenProtocolInterpreter.java, the test2()
function failed.

we proposed:

for every time we call the proceed() function the variable
"currentStepIndex" never has a chance to increase itself.

Here is potential place you should pay attention to:

File StrengtheningProtocolInterpeter, line 49, function strengthenP(),
the if condition, "firstStep.getRole().ordinal() == 1" is false, but
actually it should be true, in order to let the "currentStepIndex" increase.


please look at here,


Thanks, PRX teams
Best wishes.

-- 
--
Regards,
*Liang*
College of Computer and Information Science,
Northeastern University
Tel: 718-501-0145
MSN: yuliang.name at gmail.com (this is my primary email)
-------------- next part --------------
HTML attachment scrubbed and removed