| From: Alexander D. Knauth (alexander at knauth.org) Date: Sun Feb 16 19:44:37 EST 2014 |
|
On Feb 16, 2014, at 2:51 PM, Laurent wrote: ... > so that they can be deactivated to run the code in faster/less-error- > friendly mode if needed ... Is there a way to disable contract checks like this? (a parameter maybe) Or do you have to make your own parameter and make your contracts to use that or something?
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}