This project is read-only.

VS2010 gets very slow


Ok, I decided to try Spec# and created a test project, the problem is that anything I do in VS2010 takes seconds to accomplish, like editing project properties, compiling, etc. I am not sure if that is how it's supposed to be. Is there any way to fight this problem?



mueller wrote Mar 29, 2012 at 4:36 PM

Dear anonymous Spec# user, I have not experienced such a slow-down. I am also using Spec# in VS2010, and the performance is just fine. Do you see the slow-down even when you turn off the verifier or when you are not editing/compiling the program? Do you see it only when you are working on a Spec# project or did the installation slow down VS for other languages as well? Peter