From: Grant Rettke (grettke at acm.org) Date: Thu May 17 00:05:10 EDT 2007 |
|
Can you disable contracts at runtime? Some systems allow disabling selectively: preconditions, postconditions, invariants, and a few more that I don't recall at the moment.
Posted on the users mailing list. |
|