When run on a 64bit Windows 7 the Spec# Checkin test suite (Microsoft.SpecSharp\Checkin Tests\Runtests.bat) fails with over 50 unexpected errors, whereas it runs as expected on Windows XP.

Strangely, most of the errors are about not implementing interface members of System.Collections, although the reported classes do implement these interfaces (and compile successfully on 32bit Windows XP).

I uploaded a summary of the errors to http://n.ethz.ch/~scmalte/aste/checkintests.html, the document also contains a link to the suite output.