lshift/cloverage — pull request #4 by JacekLach (2013-01-10 17:49:46+00:00)
Title: Fix pre and post condition handling in functions

This was already merged in by frank, but I managed to make a release without pulling the merge. Gah!