Spec# Checkin tests fail on 64bit Windows 7


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.
Closed Oct 13, 2011 at 7:35 PM by wuestholz
Apparently all tests pass if you force ssc to run in 32-bit mode using the CorFlags.exe utility.