Whiley/WhileyDocs — pull request #9 by Matt-- (2014-04-29 05:07:14+00:00)
Title: example fix

exposeNeighbours function was checking 4 rows & columns, not 3.