These are chat archives for Microsoft/CodeContracts

28th
Aug 2015
Sam Harwell
@sharwell
Aug 28 2015 19:28
Here's the Clousot2 tests:
blob
Looks like a bit over 17 hours to run all the tests
Sergey Teplyakov
@SergeyTeplyakov
Aug 28 2015 20:42
Wow! That takes a lot of time:( But running them with new infrastructure is much easier..