nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19ba281) | patch
contracts: Add `in_contract` attribute
authorFlorian Deljarry <deljarry.florian@gmail.com>
Mon, 20 Apr 2020 21:23:10 +0000 (17:23 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Mon, 25 May 2020 13:17:34 +0000 (09:17 -0400)
commitb9833d87be7a747afa0685fac4defe1e6829335e
treedb0d48de3403dfce51335c5d4f8cfe14dcc6f273tree | snapshot
parent19ba2817e0c492ceddd04eb754a63fbf6823f5d4commit | diff
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>
src/contracts.nit diff | blob | history
Nit language project; an oo programing language and its tool suite.