Dmitry Savvinov fb03656e99 Effects: annotate functions in stdlib with contracts ...

build.xml was also changed to incorporate contracts in
mock-runtime-for-tests.jar, because it is using Standard.kt, which, in
turn, has contract-annotated functions.

==========
Introduction of EffectSystem: 17/18

2017-10-12 11:55:26 +03:00

..

build.gradle.kts

Effects: annotate functions in stdlib with contracts

2017-10-12 11:55:26 +03:00