CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_fkey_sqlite3FkDelete.out59 linesDownload Raw Back to mull-reports
1[info] Using config /sqlite/mull.yml2[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.3[warning] Could not find dynamic library: libm.so.64[warning] Could not find dynamic library: libc.so.65[info] Warm up run (threads: 1)6
       [################################] 1/1. Finished in 108ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 4ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 112ms13[info] Running mutants (threads: 10)14[debug] /sqlite/src/fkey.c:691:5 ExecutionResult: Passed15[debug] /sqlite/src/fkey.c:693:5 ExecutionResult: Passed16[debug] /sqlite/src/fkey.c:692:5 ExecutionResult: Passed17[debug] /sqlite/src/fkey.c:696:5 ExecutionResult: Passed18[debug] /sqlite/src/fkey.c:695:5 ExecutionResult: Passed19
       [################----------------] 5/1020[debug] /sqlite/src/fkey.c:694:5 ExecutionResult: Passed21[debug] /sqlite/src/fkey.c:1458:25 ExecutionResult: Failed22
       [######################----------] 7/1023[debug] /sqlite/src/fkey.c:1482:5 ExecutionResult: Passed24[debug] /sqlite/src/fkey.c:1478:5 ExecutionResult: Passed25[debug] /sqlite/src/fkey.c:1477:5 ExecutionResult: Passed26
       [################################] 10/10. Finished in 138ms27[debug] Done running mutants28[info] Survived mutants (9/10):29/sqlite/src/fkey.c:691:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]30    sqlite3SrcListDelete(dbMem, pStep->pSrc);31    ^32/sqlite/src/fkey.c:692:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]33    sqlite3ExprDelete(dbMem, pStep->pWhere);34    ^35/sqlite/src/fkey.c:693:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]36    sqlite3ExprListDelete(dbMem, pStep->pExprList);37    ^38/sqlite/src/fkey.c:694:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]39    sqlite3SelectDelete(dbMem, pStep->pSelect);40    ^41/sqlite/src/fkey.c:695:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]42    sqlite3ExprDelete(dbMem, p->pWhen);43    ^44/sqlite/src/fkey.c:696:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]45    sqlite3DbFree(dbMem, p);46    ^47/sqlite/src/fkey.c:1477:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]48    fkTriggerDelete(db, pFKey->apTrigger[0]);49    ^50/sqlite/src/fkey.c:1478:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]51    fkTriggerDelete(db, pFKey->apTrigger[1]);52    ^53/sqlite/src/fkey.c:1482:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]54    sqlite3DbFree(db, pFKey);55    ^56[info] Mutation score: 10%57[info] Total execution time: 465ms58[info] Surviving mutants: 959