{"action":"closed","issue":{"url":"https://api.github.com/repos/Igorbek/CodeContracts.MSBuild/issues/18","repository_url":"https://api.github.com/repos/Igorbek/CodeContracts.MSBuild","labels_url":"https://api.github.com/repos/Igorbek/CodeContracts.MSBuild/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/Igorbek/CodeContracts.MSBuild/issues/18/comments","events_url":"https://api.github.com/repos/Igorbek/CodeContracts.MSBuild/issues/18/events","html_url":"https://github.com/Igorbek/CodeContracts.MSBuild/issues/18","id":330600981,"node_id":"MDU6SXNzdWUzMzA2MDA5ODE=","number":18,"title":"BadImageFormatException with enabled runtime checking","user":{"login":"fubar-coder","id":4739844,"node_id":"MDQ6VXNlcjQ3Mzk4NDQ=","avatar_url":"https://avatars3.githubusercontent.com/u/4739844?v=4","gravatar_id":"","url":"https://api.github.com/users/fubar-coder","html_url":"https://github.com/fubar-coder","followers_url":"https://api.github.com/users/fubar-coder/followers","following_url":"https://api.github.com/users/fubar-coder/following{/other_user}","gists_url":"https://api.github.com/users/fubar-coder/gists{/gist_id}","starred_url":"https://api.github.com/users/fubar-coder/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fubar-coder/subscriptions","organizations_url":"https://api.github.com/users/fubar-coder/orgs","repos_url":"https://api.github.com/users/fubar-coder/repos","events_url":"https://api.github.com/users/fubar-coder/events{/privacy}","received_events_url":"https://api.github.com/users/fubar-coder/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-06-08T10:15:06Z","updated_at":"2018-06-08T16:57:23Z","closed_at":"2018-06-08T16:57:23Z","author_association":"NONE","body":"How to reproduce:\r\n\r\n1. Clone https://github.com/FubarDevelopment/QuickGraph\r\n2. Build\r\n3. Run the `Boost` test\r\n\r\nUsed version: 1.12.0\r\n\r\nThis are the properties:\r\n\r\n```xml\r\n  <PropertyGroup Condition=\" '$(TargetFramework)' == 'net461' and '$(Configuration)' == 'Debug' \">\r\n    <CodeContractsEnableRuntimeChecking>True</CodeContractsEnableRuntimeChecking>\r\n    <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>\r\n    <CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>\r\n    <CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>\r\n    <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>\r\n    <CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>\r\n    <CodeContractsNonNullObligations>True</CodeContractsNonNullObligations>\r\n    <CodeContractsBoundsObligations>True</CodeContractsBoundsObligations>\r\n    <CodeContractsArithmeticObligations>False</CodeContractsArithmeticObligations>\r\n    <CodeContractsEnumObligations>False</CodeContractsEnumObligations>\r\n    <CodeContractsPointerObligations>False</CodeContractsPointerObligations>\r\n    <CodeContractsRedundantAssumptions>False</CodeContractsRedundantAssumptions>\r\n    <CodeContractsInferRequires>False</CodeContractsInferRequires>\r\n    <CodeContractsInferEnsures>False</CodeContractsInferEnsures>\r\n    <CodeContractsSuggestRequires>True</CodeContractsSuggestRequires>\r\n    <CodeContractsSuggestEnsures>False</CodeContractsSuggestEnsures>\r\n    <CodeContractsDisjunctiveRequires>False</CodeContractsDisjunctiveRequires>\r\n    <CodeContractsRunInBackground>True</CodeContractsRunInBackground>\r\n    <CodeContractsShowSquigglies>False</CodeContractsShowSquigglies>\r\n    <CodeContractsUseBaseLine>False</CodeContractsUseBaseLine>\r\n    <CodeContractsEmitXMLDocs>False</CodeContractsEmitXMLDocs>\r\n    <CodeContractsCustomRewriterAssembly />\r\n    <CodeContractsCustomRewriterClass />\r\n    <CodeContractsLibPaths />\r\n    <CodeContractsExtraRewriteOptions />\r\n    <CodeContractsExtraAnalysisOptions />\r\n    <CodeContractsBaseLineFile />\r\n    <CodeContractsCacheAnalysisResults>True</CodeContractsCacheAnalysisResults>\r\n    <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>\r\n    <CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>\r\n    <CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>\r\n  </PropertyGroup>\r\n```\r\n\r\nEDIT: I also created an issue in the original repository: Microsoft/CodeContracts#502"}}
{"actor":{"display_login":"Igorbek"}}