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 15, 2014 at 12:11 AM by howell, version 1

Comments

No comments yet.