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