search

tkpatro123 / mb-unit

Automatically exported from code.google.com/p/mb-unit
0 stars 0 forks source link

Optional activity log of contract verifiers #740

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
Implement a property in IContract that enables the contract verifier to 
automatically report in the test log its activity (e.g. listing of all visited 
members with arguments used for the invocation)

Original issue reported on code.google.com by Yann.Tre...@gmail.com on 1 Oct 2010 at 12:08

GoogleCodeExporter commented 8 years ago

Original comment by Yann.Tre...@gmail.com on 14 Jun 2011 at 5:53