From: Florian Deljarry <deljarry.florian@gmail.com>
Date: Mon, 20 Apr 2020 21:23:10 +0000 (-0400)
Subject: contracts: Add `in_contract` attribute
X-Git-Url: http://nitlanguage.org?hp=b9833d87be7a747afa0685fac4defe1e6829335e

contracts: Add `in_contract` attribute

This attribute is used to disable contract verification when you are already in a contract verification.

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
---