polyspace: sqlite error:database.cpp:452
10 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
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
0 Kommentare
Antworten (0)
Siehe auch
Kategorien
Mehr zu Set Up Bug Finder Analysis on Servers During Continuous Integration finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!