DafnyCC doesn't support setting an array reference to null, and will give an error if your code may ever set an array to null. However, this doesn't mean you can get away with leaving off pre-conditions that say arrays aren't null.

Last edited Oct 14, 2014 at 11:11 PM by howell, version 1


No comments yet.