A new contract verifier for MbUnit is available in Gallio v3.0.7.16 and later.
the "AccessorContract" verifies the implementation and the behavior of a property or any similar mechanism (a pair of get/set methods for example) A few explanatory samples can be found in the sample project of Gallio. As usually, you can download the latest builds of Gallio (development trunk) from the http://ccnet.gallio.org/Distributables. Any feedback or suggestion about the usability of that new contract verifier is welcome. Yann. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "MbUnit.User" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/MbUnitUser?hl=en -~----------~----~----~----~------~----~------~--~---
