sqlite / mull-reports /mull_alter_alterFindCol.out
AryaWu's picture
Upload folder using huggingface_hub
7510827 verified
[info] Using config /sqlite/mull.yml
[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.
[warning] Could not find dynamic library: libm.so.6
[warning] Could not find dynamic library: libc.so.6
[info] Warm up run (threads: 1)
[################################] 1/1. Finished in 108ms
[info] Extracting coverage information (threads: 1)
[################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)
[################################] 1/1. Finished in 1ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 109ms
[info] Running mutants (threads: 16)
[debug] /sqlite/src/alter.c:2703:7 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2708:13 ExecutionResult: Failed
[####----------------------------] 2/16
[debug] /sqlite/src/alter.c:2704:7 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2707:12 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2707:10 ExecutionResult: Failed
[##########----------------------] 5/16
[debug] /sqlite/src/alter.c:2712:10 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2708:13 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2720:9 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2727:10 ExecutionResult: Failed
[##################--------------] 9/16
[debug] /sqlite/src/alter.c:2718:31 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2710:10 ExecutionResult: Failed
[debug] /sqlite/src/alter.c:2717:9 ExecutionResult: Passed
[########################--------] 12/16
[debug] /sqlite/src/alter.c:2726:3 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2709:7 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:3058:3 ExecutionResult: Passed
[debug] /sqlite/src/alter.c:2732:12 ExecutionResult: Failed
[################################] 16/16. Finished in 209ms
[debug] Done running mutants
[info] Survived mutants (8/16):
/sqlite/src/alter.c:2703:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
int rc = SQLITE_NOMEM;
^
/sqlite/src/alter.c:2704:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
int iCol = -1;
^
/sqlite/src/alter.c:2709:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3ErrorMsg(pParse, "no such column: %s", zName);
^
/sqlite/src/alter.c:2717:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]
if( rc==SQLITE_OK ){
^
/sqlite/src/alter.c:2718:31: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
const char *zDb = db->aDb[sqlite3SchemaToIndex(db, pTab->pSchema)].zDbSName;
^
/sqlite/src/alter.c:2720:9: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
if( sqlite3AuthCheck(pParse, SQLITE_ALTER_TABLE, zDb, pTab->zName, zCol) ){
^
/sqlite/src/alter.c:2726:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3DbFree(db, zName);
^
/sqlite/src/alter.c:3058:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3InsertBuiltinFuncs(aAlterTableFuncs, ArraySize(aAlterTableFuncs));
^
[info] Mutation score: 50%
[info] Total execution time: 514ms
[info] Surviving mutants: 8