From: Grant Rettke (grettke at acm.org) Date: Thu May 17 00:05:57 EDT 2007 |
|
Is anyone looking at class invariants for the future in contracts? It is not a deal breaker for me or anything, just wondering if that is an interesting feature or not.
Posted on the users mailing list. |
|