These are chat archives for Microsoft/CodeContracts

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