src/toolcontext: Provide contract options
authorFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 29 May 2019 20:49:55 +0000 (16:49 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Thu, 26 Sep 2019 19:14:54 +0000 (15:14 -0400)
`--no-contract` option to disable the contracts usage
`--full-contract` option to enable the contracts usage in all classes

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


No differences found