При попытке импортировать Визуальный Studio® 2010 или проект Visual Studio 2012 и polyspace-configure не работает правильно, делает следующее:
Остановите MSBuild.exe процесс.
Установите переменную окружения MSBUILDDISABLENODEREUSE к 1.
Задайте MSBuild.exe с the/nodereuse:false опция.
Перезапустите инструмент конфигурирования Polyspace®:
polyspace-configure.exe -lang cpp <MSVS path>/msbuild sample.sln