nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: b9833d8)
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)
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>


No differences found
Nit language project; an oo programing language and its tool suite.