Когда вы пытаетесь запустить 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, используйте локальную папку вместо этого.
