[Cs5500] Reg: Valid Method in MMG

[Ravishankar Rajagopal]

Hello Professor,

I checked the valid method in the MMGInstance. This together with the
getResult method in the class ForAllExistMax should ensure that we do not
have false negatives or false positives. So we should hopefully not have
any problems with MMG as we have had with HSR.

Regards,
Ravi Rajagopal
-------------- next part --------------
HTML attachment scrubbed and removed