{"action":"created","issue":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/240","labels_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/240/labels{/name}","comments_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/240/comments","events_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/240/events","html_url":"https://github.com/Microsoft/CodeContracts/issues/240","id":104730054,"number":240,"title":"ccrewrite exited with code 1","user":{"login":"rkeithhill","id":5177512,"avatar_url":"https://avatars.githubusercontent.com/u/5177512?v=3","gravatar_id":"","url":"https://api.github.com/users/rkeithhill","html_url":"https://github.com/rkeithhill","followers_url":"https://api.github.com/users/rkeithhill/followers","following_url":"https://api.github.com/users/rkeithhill/following{/other_user}","gists_url":"https://api.github.com/users/rkeithhill/gists{/gist_id}","starred_url":"https://api.github.com/users/rkeithhill/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rkeithhill/subscriptions","organizations_url":"https://api.github.com/users/rkeithhill/orgs","repos_url":"https://api.github.com/users/rkeithhill/repos","events_url":"https://api.github.com/users/rkeithhill/events{/privacy}","received_events_url":"https://api.github.com/users/rkeithhill/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-09-03T16:06:10Z","updated_at":"2015-09-04T03:43:22Z","closed_at":null,"body":"I have only turned on runtime checking with only \"Perform Runtime Contract Checking\" checked and set the dropdown to \"Preconditions\".  I'm on 1.9.10714.2 and am running VS 2015. \r\n\r\nIs there a upcoming release to fix this issue and the bogus update issue?  VS 2015 thinks I need to update from 1.8.10107.10 to 1.9.10714.2 when I already have the latter installed."},"comment":{"url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/comments/137642522","html_url":"https://github.com/Microsoft/CodeContracts/issues/240#issuecomment-137642522","issue_url":"https://api.github.com/repos/Microsoft/CodeContracts/issues/240","id":137642522,"user":{"login":"SergeyTeplyakov","id":726448,"avatar_url":"https://avatars.githubusercontent.com/u/726448?v=3","gravatar_id":"","url":"https://api.github.com/users/SergeyTeplyakov","html_url":"https://github.com/SergeyTeplyakov","followers_url":"https://api.github.com/users/SergeyTeplyakov/followers","following_url":"https://api.github.com/users/SergeyTeplyakov/following{/other_user}","gists_url":"https://api.github.com/users/SergeyTeplyakov/gists{/gist_id}","starred_url":"https://api.github.com/users/SergeyTeplyakov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SergeyTeplyakov/subscriptions","organizations_url":"https://api.github.com/users/SergeyTeplyakov/orgs","repos_url":"https://api.github.com/users/SergeyTeplyakov/repos","events_url":"https://api.github.com/users/SergeyTeplyakov/events{/privacy}","received_events_url":"https://api.github.com/users/SergeyTeplyakov/received_events","type":"User","site_admin":false},"created_at":"2015-09-04T03:43:22Z","updated_at":"2015-09-04T03:43:22Z","body":"@petergummer from my understanding \"transitive closure\" is required because contracts are transitive as well. There are some ideas how to avoid this (or at least to reduce such impact) but they're in the future.\r\n\r\nFeel free to open separate bug, because I would like to close this one..."}}