Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Static checker: recognizing cached anonymous delegate fields produced by Roslyn. #182

Merged
merged 1 commit into from
Aug 3, 2015

Conversation

fedotovalex
Copy link
Contributor

This supposedly fixes #177 (it fixes it for me).

@fedotovalex fedotovalex changed the title Recognizing cached anonymous delegate fields produced by Roslyn. Static checker: recognizing cached anonymous delegate fields produced by Roslyn. Aug 2, 2015
@SergeyTeplyakov
Copy link
Contributor

The change is looks good.

Is it possible to add test cases in the same way that I've added to test different compiler versions for Foxtrot project? It would be a very useful to run all cccheck test suite on top of Roslyn-based compiler...

@fedotovalex
Copy link
Contributor Author

Is it possible to add test cases in the same way that I've added to test different compiler versions for Foxtrot project? It would be a very useful to run all cccheck test suite on top of Roslyn-based compiler...

It is certainly possible, but can we wait until pending code formatting changes and #151 are in? It would be difficult to merge otherwise.

@SergeyTeplyakov
Copy link
Contributor

Ok. I'll create a task to add Roslyn-based compiler invocation and accept the PR.

SergeyTeplyakov added a commit that referenced this pull request Aug 3, 2015
Static checker: recognizing cached anonymous delegate fields produced by Roslyn.
@SergeyTeplyakov SergeyTeplyakov merged commit 270f54d into microsoft:master Aug 3, 2015
@SergeyTeplyakov
Copy link
Contributor

Added task: #182.

@fedotovalex fedotovalex deleted the fix-177 branch August 3, 2015 16:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Static checker: different behavior of Contract.ForAll in VS2012 vs VS2015
2 participants