Add contracts for executable parameters#4192

marcphilipp wants to merge 1 commit intomainjunit-team/junit-framework:mainfrom

marc/kotlin-contracts-executablejunit-team/junit-framework:marc/kotlin-contracts-executableCopy head branch name to clipboard