polyspace: sqlite error:database.cpp:452
9 ビュー (過去 30 日間)
古いコメントを表示
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 件のコメント
回答 (0 件)
参考
カテゴリ
Help Center および File Exchange で Set Up Bug Finder Analysis on Servers During Continuous Integration についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!