SQLite I/O Error

Issue

When you try to run Polyspace^®, you get this error message:

exception SQLError(SQLite.SQLError(code=10, disk I/O error (errcode=10 extended errcode=1034))) raised.

Cause

Polyspace uses an SQLite database for storing results. This error can appear when SQLite databases are saved on NFS (Network File System) folders.

Solution

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

If the folder is an NFS folder, use a local folder instead.