thp/python-decontractors — pull request #2 by javcasas (2014-06-08 16:16:24+00:00)
Title: Support for custom messages in contracts

Something I found limiting about Decontractors is the situation where you have several @Precondition on a function, and one of them fails. You have no information about which one failed. This patch allows you to add a message to each Decontractor, in order to make easier figuring out which one failed.