These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Aug 28 2015 19:28
Here's the Clousot2 tests:
Looks like a bit over 17 hours to run all the tests
Aug 28 2015 20:42
Wow! That takes a lot of time:( But running them with new infrastructure is much easier..