polyspace: sqlite error:database.cpp:452

9 visualizzazioni (ultimi 30 giorni)
LoKa
LoKa il 17 Feb 2022
Modificato: LoKa il 17 Feb 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

Risposte (0)

Prodotti


Release

R2021a

Community Treasure Hunt

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

Start Hunting!

Translated by