These are chat archives for Microsoft/CodeContracts

26th
Aug 2015
Sam Harwell
@sharwell
Aug 26 2015 04:28
Oh dear, the ClousotTests are slow
Sam Harwell
@sharwell
Aug 26 2015 04:35
There are 19 groups, each with 172 tests. I ran the 99th test from each group, and it took a total of 6 min 44 sec. Multiply that by 172 and you get approximately 19.3 hours to run the full set of tests.
As a bonus, the tests are currently only implemented for .NET 3.5 and .NET 4.0. No clousot tests are run against Roslyn yet.
Sam Harwell
@sharwell
Aug 26 2015 04:41
I started the 860 tests which are categorized as "Clousot1" and I'll check the total time in the morning. For now :sleepy:
Sam Harwell
@sharwell
Aug 26 2015 13:15
So far 457 pass, 220 fail, 183 not yet finished
Sam Harwell
@sharwell
Aug 26 2015 15:01
Total time 9:05:58 (9 hours 6 minutes)
For the 860 Clousot1 tests