Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    Sergey Teplyakov
    @SergeyTeplyakov
    @tom-englert Thanks, you're right. need to fix it...
    Sergey Teplyakov
    @SergeyTeplyakov
    @tom-englert Maybe it would be easier to discuss CR questions here...
    Sam Harwell
    @sharwell
    @SergeyTeplyakov we need to review the formatting PRs before they are merged.
    It helps to use better diff software, such as Beyond Compare for it
    Sam Harwell
    @sharwell
    @SergeyTeplyakov I added comments to 3 formatting PRs that I reviewed per-file and appear to be correct.
    but you can wait until after the editor extensions update to merge the formatting changes
    tom-englert
    @tom-englert
    I tried to run the tests, and many of them fail, but seem to be correct, while others succeed but seem to be wrong (e.g. in Analyze1FromSourcesV40Cache things like ---Actual outcomes---
    Outcome=ProofOutcome.False,Message="Cannot connect to the cache. The CodeContracts static check will not run",PrimaryILOffset=5,MethodILOffset=0
    ---Expected outcomes---

    No entry found in the cache

    tom-englert
    @tom-englert
    Some of the regression tests seem to be fine, but all the PrimaryILOffset have shifted, so they are considered failed. Does this depend on the compiler?
    Did anyone have look at the tests? Do they succeed on the build machine?
    jbcutting
    @jbcutting
    With the latest preview release, everything builds, but none of the messages or warnings are making it into the errors window in VS2015. Is anyone else seeing this or is it just me?
    Sam Harwell
    @sharwell
    @jbcutting Are you referring to the behavior of custom analyzers?
    If so, you must use the same version of Roslyn to build your analyzer as the build of Visual Studio you are using.
    Sam Harwell
    @sharwell
    @jbcutting I'm terrible sorry, for some reason I thought your comment was in the dotnet/roslyn Gitter room. I haven't noticed the behavior you describe with code contracts, but I also haven't spent as much time with it in Visual Studio 2015 as I feel like I need to.
    jbcutting
    @jbcutting
    Nope, definitely referring to Code Contracts. Messages and warnings still show up in the errors list window for me in VS2013, but not in VS2015. I see the expected results in the Output window, but they don't make it to the errors list.
    Sergey Teplyakov
    @SergeyTeplyakov

    @sharwell
    @SergeyTeplyakov we need to review the formatting PRs before they are merged.
    It helps to use better diff software, such as Beyond Compare for it

    I'm in parental leave right now :) but hope to review those changes:)

    Nope, definitely referring to Code Contracts. Messages and warnings still show up in the errors list window for me in VS2013, but not in VS2015. I see the expected results in the Output window, but they don't make it to the errors list.

    I'm not using VS2015 right now as well. Lets double check and just open the issue.

    @sharwell I hope to create a release with #134. Also I'll review and apply all formatting PRs.
    If you would be able to fix some fixes for Editor Extension then we would be able to release them as well.
    jbcutting
    @jbcutting
    The only reason I haven't been using VS2015 up 'til now is the code contracts issues. :-) Unfortunately, I don't have another machine I can test this on, so I didn't want to submit an issue unless someone else can confirm it. If anyone else can confirm it, I'll submit it.
    I've also seen the editor extension crash VS2015, but it's not consistent and I don't have repro steps yet.
    jbcutting
    @jbcutting
    Actually... one time, I saw the extension itself crash, VS2015 stayed up. However, VS2015 crashes consistently for me if I hover over a few method calls to get IntelliSense. The first one or two work, then it crashes. Every time. If I disable the Code Contracts Editor Extension, this does not occur. It works okay for me in VS2013.
    Sam Harwell
    @sharwell
    @jbcutting The crash that brings down VS2015 is almost certainly #116. Also, feel free to submit an issue that you aren't 100% sure of. Describe it as best you can and if we have problems reproducing it we'll let you know. As long as you take the time to separate your expected results from your actual results we can typically find a way to resolve it to your satisfaction. :smile:
    jbcutting
    @jbcutting
    I don't think the ones I hovered over were generic types or generic methods, but I can verify. It does seem likely that's the issue, though - there's a delay where the IDE seems to hang before the crash occurs, which could very well be a stack overflow.
    tom-englert
    @tom-englert
    @SergeyTeplyakov did you run the regression tests on the build machine? Do they succeed?
    Sergey Teplyakov
    @SergeyTeplyakov
    @tom-englert What buld machine and what tests? And what case?
    I've lost the context, I guess...
    Sam Harwell
    @sharwell
    @SergeyTeplyakov since you are here, can you give an update on the status of the three editor extensions PRs I sent?
    #116 is severe; you can't keep the extension installed or VS will frequently crash (not just a message box - actually terminates the process).
    Sergey Teplyakov
    @SergeyTeplyakov
    @sharwell Sorry. I've looked at it but didn't merge.
    done
    Sam Harwell
    @sharwell
    @SergeyTeplyakov Yay :clap:
    Sergey Teplyakov
    @SergeyTeplyakov
    I talked with Mike Barnett last week. He is out today, but would be available tomorrow. I can push new release on github and Mike can sign it and and publish officially
    Sam Harwell
    @sharwell
    You should also review and decide on #120 and #121 for the next release
    Sergey Teplyakov
    @SergeyTeplyakov
    I'll review and merge them today
    Done.
    tom-englert
    @tom-englert
    @SergeyTeplyakov I assumed there is a build machine - but maybe we don't have one.
    @SergeyTeplyakov When I open the solution, there are many tests shown in the test explorer. When I run the tests, may of them fail.
    Did someone else try to run those tests?
    Sergey Teplyakov
    @SergeyTeplyakov
    There is some tricks for running tests
    all Foxtrot tests are passing (and those are the tests for the area where I've made my changes)
    to run UnitTests (project name UnitTests) you have to select FoxtrotTestRun test settings first
    Unfortunately I was unable to fix them properly
    All clousot tests are never worked for me
    But all changes are for rewriter...
    Sam Harwell
    @sharwell
    @SergeyTeplyakov I changed my mind on the comment in #144. I didn't realize it would be so long until I typed it out.
    However, I do prefer "requires/ensures" to "pres/posts"
    Sam Harwell
    @sharwell
    @SergeyTeplyakov I'm working on an AppVeyor configuration -- the build is already working but now I'm working on the tests.
    I even got it to handle our versioning scheme.
    Sergey Teplyakov
    @SergeyTeplyakov
    @sharwell Merged AppVeyor configuration
    Sam Harwell
    @sharwell
    Saw that :)
    Sam Harwell
    @sharwell
    @SergeyTeplyakov @tom-englert I'm re-running the formatter with /rule-:FieldNames, which prevents it from renaming private static and instance fields.