These are chat archives for Microsoft/CodeContracts

14th
Jul 2015
Sergey Teplyakov
@SergeyTeplyakov
Jul 14 2015 00:05
@sharwell Sorry. I've looked at it but didn't merge.
done
Sam Harwell
@sharwell
Jul 14 2015 00:06
@SergeyTeplyakov Yay :clap:
Sergey Teplyakov
@SergeyTeplyakov
Jul 14 2015 00:06
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
Jul 14 2015 00:06
You should also review and decide on #120 and #121 for the next release
Sergey Teplyakov
@SergeyTeplyakov
Jul 14 2015 00:07
I'll review and merge them today
Done.
tom-englert
@tom-englert
Jul 14 2015 07:17
@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
Jul 14 2015 18:09
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...