These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Feb 03 2016 04:19
I've just opened a handful of pull reqs for system contracts. I've confirmed that the build passes (on top of AppVeyor's proof) and that these have the desired influence on the static analysis.
Feb 03 2016 05:41
Great job! I already merged some of them and will merge the rest soon!
Feb 03 2016 06:23
Thanks. Also, have you given
any thought? That's currently a blocker for me to upgrade to 1.10, and I don't even know where to begin looking to try solve that.
Feb 03 2016 07:32
. I've made a quick look, but was unable to find out the issue... If the problem is really in
, we can try to rallback this change (locally) to proof this assumption...
Feb 03 2016 22:01
Git blame pins it down to 24192e6 which was part of
It looks like the static checker can't prove anything about field.IsStatic, but it does know that expression != null, so only the second contracts is failing
I'll try pulling those two out and seeing how it goes