Main Content

Fix SQLite I/O Errors on Running Polyspace

Issue

Polyspace® uses an SQLite database for storing analysis results. SQLite databases might show problems when shared on network file systems such as NFS (Network File System), CIFS (Common Internet File System) or SMB (Server Message Block protocol), and the like.

If you save your analysis results on network file systems, you might see errors like this:

exception SQLError(SQLite.SQLError(code=10, disk I/O error (errcode=10 extended errcode=1034)))
raised.
The errors indicate that the database disk image is malformed and the results are possibly corrupted.

Possible Solutions

Check the folder where you save Polyspace results. For instance, if you run Polyspace at the command line, check the argument of the option -results-dir.

If the folder is a network folder that uses file systems such as NFS, use a local folder instead.