sqlite / mull-reports /mull_attach_sqlite3FixTriggerStep.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 107ms
[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 106ms
[info] Running mutants (threads: 20)
[debug] /sqlite/src/attach.c:467:16 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:471:7 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:490:29 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:486:13 ExecutionResult: Passed
[####----------------------------] 4/30
[debug] /sqlite/src/attach.c:491:20 ExecutionResult: Failed
[#####---------------------------] 5/30
[debug] /sqlite/src/attach.c:543:21 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:613:13 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:612:13 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:494:11 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:601:9 ExecutionResult: Failed
[##########----------------------] 10/30
[debug] /sqlite/src/attach.c:549:17 ExecutionResult: Passed
[debug] /sqlite/src/attach.c:492:32 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:614:13 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:576:9 ExecutionResult: Passed
[##############------------------] 14/30
[debug] /sqlite/src/attach.c:603:9 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:615:13 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:604:9 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:493:16 ExecutionResult: Failed
[###################-------------] 18/30
[debug] /sqlite/src/attach.c:602:9 ExecutionResult: Failed
[####################------------] 19/30
[debug] /sqlite/src/attach.c:576:11 ExecutionResult: Failed
[#####################-----------] 20/30
[debug] /sqlite/src/attach.c:469:17 ExecutionResult: Failed
[debug] /sqlite/src/attach.c:491:47 ExecutionResult: Failed
[#######################---------] 22/30
[debug] /sqlite/src/attach.c:490:29 ExecutionResult: Passed
[########################--------] 23/30
[debug] /sqlite/src/attach.c:490:8 ExecutionResult: Failed
[#########################-------] 24/30
[debug] /sqlite/src/attach.c:543:15 ExecutionResult: Failed
[##########################------] 25/30
[debug] /sqlite/src/attach.c:571:7 ExecutionResult: Failed
[###########################-----] 26/30
[debug] /sqlite/src/attach.c:493:18 ExecutionResult: Passed
[debug] /sqlite/src/attach.c:548:23 ExecutionResult: Passed
[debug] /sqlite/src/attach.c:486:7 ExecutionResult: Passed
[##############################--] 29/30
[debug] /sqlite/src/attach.c:492:58 ExecutionResult: Failed
[################################] 30/30. Finished in 381ms
[debug] Done running mutants
[info] Survived mutants (7/30):
/sqlite/src/attach.c:486:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]
int iDb = sqlite3FindDbName(db, pFix->zDb);
^
/sqlite/src/attach.c:486:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
int iDb = sqlite3FindDbName(db, pFix->zDb);
^
/sqlite/src/attach.c:490:29: warning: Survived: Replaced < with <= [cxx_lt_to_le]
for(i=0, pItem=pList->a; i<pList->nSrc; i++, pItem++){
^
/sqlite/src/attach.c:493:18: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]
if( iDb!=sqlite3FindDbName(db, pItem->u4.zDatabase) ){
^
/sqlite/src/attach.c:548:23: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
pFix->w.walkerDepth = 0;
^
/sqlite/src/attach.c:549:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
pFix->w.eCode = 0;
^
/sqlite/src/attach.c:576:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
res = sqlite3WalkSelect(&pFix->w, &s);
^
[info] Mutation score: 76%
[info] Total execution time: 693ms
[info] Surviving mutants: 7