При попытке запуска программы Polyspace ® появляется следующее сообщение об ошибке:
exception SQLError(SQLite.SQLError(code=10, disk I/O error (errcode=10 extended errcode=1034))) raised.
Polyspace использует базу данных SQLite для хранения результатов. Эта ошибка может возникнуть при сохранении баз данных SQLite в папках NFS (сетевой файловой системы).
Проверьте папку, в которой сохраняются результаты Polyspace. Например, при запуске Polyspace в командной строке установите флажок -results-dir.
Если папка является папкой NFS, используйте локальную папку.