Pex x64

Jun 15, 2008 at 8:50 AM
Hi Everyone,

Currently my only system that I'm developing on is a Windows Server 2008 x64 machine.. For this reason, I can't try Pex until the 64 bit release will come out, and I get the feeling that hardly anyone cares about it at all :)

Are there plans to release it anytime soon?

Best Regards,
Artiom
Coordinator
Jun 15, 2008 at 2:32 PM
I think demand will prioritize this, so please send your request to Microsoft Research [url:Pex mailing list|http://research.microsoft.com/pex/wiki/public%20mailing%20list.html] also.

I currently develop in multiple environments (Server 2008 x64, Server 2003 x32, XP x32, Vista x64) and even some virtual systems (mainly server 2003). If possible, I would suggest you try installing a 32-bit virtual system (either Rosario CTP or a TFS evaluation image) and then you should be able to develop in both environments.

Note that while Pex only installs in a 32-bit system, you can copy the required dlls to your project and then you should be able to run the Pex tests in the 64-bit environment (this is what I do). You still cannot use the pex command-line/IDE interface, but at least you can run the tests in all your development environments.
Jun 26, 2008 at 7:52 PM


BKStrelioff wrote:
I think demand will prioritize this, so please send your request to Microsoft Research [url:Pex mailing list|http://research.microsoft.com/pex/wiki/public%20mailing%20list.html] also.

I currently develop in multiple environments (Server 2008 x64, Server 2003 x32, XP x32, Vista x64) and even some virtual systems (mainly server 2003). If possible, I would suggest you try installing a 32-bit virtual system (either Rosario CTP or a TFS evaluation image) and then you should be able to develop in both environments.

Note that while Pex only installs in a 32-bit system, you can copy the required dlls to your project and then you should be able to run the Pex tests in the 64-bit environment (this is what I do). You still cannot use the pex command-line/IDE interface, but at least you can run the tests in all your development environments.

Thanks a lot,

I guess I'll have to start with the VM, and then see what can I do in my main environment :)

My only machine being an Intel based laptop, doesn't help, as it's not possible to have more than 3gb recogniseable RAM... running a VM + an IDE outside of it a browser and the os is already very heavy :)
And with the memory bugs in Windows 2008 it only gets worse XD

Regards,
Artiom
Coordinator
Aug 6, 2008 at 5:32 PM
There is a new version of Pex (v0.6.30728.0) that will install on a 64-bit system (Server2008 is the only one I have tried so far). According to the online release notes ( http://research.microsoft.com/Pex/releasenotes.aspx#0.6.30728.0 ) 64-bit support has been added.