polyspace: sqlite error:database.cpp:452

9 visualizaciones (últimos 30 días)
LoKa
LoKa el 17 de Feb. de 2022
Editada: LoKa el 17 de Feb. de 2022
I am running the following:
#running polyspace analysis engine
/usr/polyspace/server/R2021a/polyspace/bin/polyspace-bug-finder-server -options-file /home/XXX/common/XXX/polyspaceMake_XXX.opts -options-file /home/XXX/common/XXX/XXX/polyspace/polyspaceOptions.opts -checkers-activation-file /home/XXX/common/XXX/XXX/polyspace/polyspaceRules.xml -code-behavior-specifications /home/XXX/common/XXX/XXX/polyspace/polyspaceCodeBehaviour.xml -results-dir /home/XXX/common/result;
but I get the following :
Verifying XXX.c (499/834) [C]
...
polyspace: sqlite error:database.cpp:452: rc=1034 (expected rc=101) disk I/O error
polyspace: sqlite error:../../../../derived/glnxa64/src/include/polyspace/persistence/../../../../../../polyspace/src/shared/persistence/export/include/persistence/sqliteUtils.hpp:139: rc=0 (expected rc=0) disk I/O error
polyspace: sqlite error:checkers/compilation_database.cpp:984: rc=1 (expected rc=0) no such table: Identifier
polyspace: sqlite error:checkers/compilation_database.cpp:985: rc=1 (expected rc=0) no such table: Identifier
polyspace: sqlite error:checkers/compilation_database.cpp:988: rc=1 (expected rc=0) no such table: Macro
polyspace: sqlite error:checkers/compilation_database.cpp:989: rc=1 (expected rc=0) no such table: Macro
polyspace: sqlite error:database.cpp:34: rc=1 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1246: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1254: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1254: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1250: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:database.cpp:47: rc=21 (expected rc=101) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1246: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1254: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1254: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:checkers/compilation_database.cpp:1250: rc=21 (expected rc=0) no such table: File
polyspace: sqlite error:database.cpp:47: rc=21 (expected rc=101) no such table: File
How can I solve it?
I am running it on Linux
Thanks

Respuestas (0)

Etiquetas

Productos


Versión

R2021a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by