sqlite / mull-reports /mull_build_sqlite3AddDefaultValue.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 4ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 111ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/build.c:600:8 ExecutionResult: Passed
[debug] /sqlite/src/build.c:613:14 ExecutionResult: Passed
[##------------------------------] 2/27
[debug] /sqlite/src/build.c:612:11 ExecutionResult: Passed
[###-----------------------------] 3/27
[debug] /sqlite/src/build.c:691:18 ExecutionResult: Failed
[####----------------------------] 4/27
[debug] /sqlite/src/build.c:1768:3 ExecutionResult: Passed
[debug] /sqlite/src/build.c:1741:10 ExecutionResult: Failed
[#######-------------------------] 6/27
[debug] /sqlite/src/build.c:1739:9 ExecutionResult: Passed
[########------------------------] 7/27
[debug] /sqlite/src/build.c:1740:29 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1756:12 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1762:7 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1759:15 ExecutionResult: Passed
[#############-------------------] 11/27
[debug] /sqlite/src/build.c:1745:30 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1748:7 ExecutionResult: Failed
[###############-----------------] 13/27
[debug] /sqlite/src/build.c:698:55 ExecutionResult: Passed
[################----------------] 14/27
[debug] /sqlite/src/build.c:600:15 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1766:5 ExecutionResult: Passed
[##################--------------] 16/27
[debug] /sqlite/src/build.c:1761:7 ExecutionResult: Passed
[####################------------] 17/27
[debug] /sqlite/src/build.c:613:14 ExecutionResult: Passed
[#####################-----------] 18/27
[debug] /sqlite/src/build.c:695:17 ExecutionResult: Failed
[debug] /sqlite/src/build.c:600:10 ExecutionResult: Passed
[#######################---------] 20/27
[debug] /sqlite/src/build.c:1742:7 ExecutionResult: Failed
[########################--------] 21/27
[debug] /sqlite/src/build.c:695:24 ExecutionResult: Failed
[##########################------] 22/27
[debug] /sqlite/src/build.c:1738:8 ExecutionResult: Failed
[###########################-----] 23/27
[debug] /sqlite/src/build.c:600:15 ExecutionResult: Passed
[############################----] 24/27
[debug] /sqlite/src/build.c:699:25 ExecutionResult: Failed
[#############################---] 25/27
[debug] /sqlite/src/build.c:613:28 ExecutionResult: Failed
[##############################--] 26/27
[debug] /sqlite/src/build.c:698:5 ExecutionResult: Passed
[################################] 27/27. Finished in 445ms
[debug] Done running mutants
[info] Survived mutants (13/27):
/sqlite/src/build.c:600:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
for(i=j=2; i<db->nDb; i++){
^
/sqlite/src/build.c:600:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
for(i=j=2; i<db->nDb; i++){
^
/sqlite/src/build.c:600:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]
for(i=j=2; i<db->nDb; i++){
^
/sqlite/src/build.c:612:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
db->nDb = j;
^
/sqlite/src/build.c:613:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]
if( db->nDb<=2 && db->aDb!=db->aDbStatic ){
^
/sqlite/src/build.c:613:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]
if( db->nDb<=2 && db->aDb!=db->aDbStatic ){
^
/sqlite/src/build.c:698:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3ExprDelete(pParse->db, pList->a[pCol->iDflt-1].pExpr);
^
/sqlite/src/build.c:698:55: warning: Survived: Replaced - with + [cxx_sub_to_add]
sqlite3ExprDelete(pParse->db, pList->a[pCol->iDflt-1].pExpr);
^
/sqlite/src/build.c:1739:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
int isInit = db->init.busy && db->init.iDb!=1;
^
/sqlite/src/build.c:1759:15: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
x.flags = EP_Skip;
^
/sqlite/src/build.c:1761:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3DbFree(db, x.u.zToken);
^
/sqlite/src/build.c:1766:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3RenameExprUnmap(pParse, pExpr);
^
/sqlite/src/build.c:1768:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]
sqlite3ExprDelete(db, pExpr);
^
[info] Mutation score: 51%
[info] Total execution time: 779ms
[info] Surviving mutants: 13