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