CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_expr_exprImpliesNotNull.out179 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 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 5ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/expr.c:1406:7 ExecutionResult: Passed15[debug] /sqlite/src/expr.c:1418:26 ExecutionResult: Passed16[debug] /sqlite/src/expr.c:1437:11 ExecutionResult: Passed17
       [#-------------------------------] 3/5618[debug] /sqlite/src/expr.c:2073:20 ExecutionResult: Passed19
       [##------------------------------] 4/5620[debug] /sqlite/src/expr.c:6675:7 ExecutionResult: Failed21
       [##------------------------------] 5/5622[debug] /sqlite/src/expr.c:2279:15 ExecutionResult: Passed23
       [###-----------------------------] 6/5624[debug] /sqlite/src/expr.c:6545:29 ExecutionResult: Passed25[debug] /sqlite/src/expr.c:6540:14 ExecutionResult: Failed26
       [####----------------------------] 8/5627[debug] /sqlite/src/expr.c:6636:9 ExecutionResult: Failed28[debug] /sqlite/src/expr.c:6597:20 ExecutionResult: Failed29[debug] /sqlite/src/expr.c:6608:22 ExecutionResult: Failed30[debug] /sqlite/src/expr.c:6603:9 ExecutionResult: Failed31[debug] /sqlite/src/expr.c:2275:14 ExecutionResult: Passed32[debug] /sqlite/src/expr.c:6610:38 ExecutionResult: Failed33[debug] /sqlite/src/expr.c:6600:38 ExecutionResult: Passed34
       [######--------------------------] 12/5635[debug] /sqlite/src/expr.c:6676:19 ExecutionResult: Failed36[debug] /sqlite/src/expr.c:6559:15 ExecutionResult: Passed37
       [#########-----------------------] 17/5638[debug] /sqlite/src/expr.c:2267:7 ExecutionResult: Failed39[debug] /sqlite/src/expr.c:6552:31 ExecutionResult: Failed40
       [##########----------------------] 19/5641[debug] /sqlite/src/expr.c:2037:16 ExecutionResult: Failed42
       [###########---------------------] 20/5643[debug] /sqlite/src/expr.c:1424:9 ExecutionResult: Passed44[debug] /sqlite/src/expr.c:1409:7 ExecutionResult: Passed45
       [############--------------------] 22/5646[debug] /sqlite/src/expr.c:2073:33 ExecutionResult: Passed47[debug] /sqlite/src/expr.c:6675:47 ExecutionResult: Failed48
       [#############-------------------] 24/5649[debug] /sqlite/src/expr.c:6599:23 ExecutionResult: Failed50
       [##############------------------] 25/5651[debug] /sqlite/src/expr.c:6539:9 ExecutionResult: Failed52[debug] /sqlite/src/expr.c:6546:21 ExecutionResult: Failed53
       [###############-----------------] 27/5654[debug] /sqlite/src/expr.c:6739:12 ExecutionResult: Failed55[debug] /sqlite/src/expr.c:6636:18 ExecutionResult: Failed56
       [################----------------] 29/5657[debug] /sqlite/src/expr.c:6609:18 ExecutionResult: Passed58[debug] /sqlite/src/expr.c:6604:15 ExecutionResult: Failed59[debug] /sqlite/src/expr.c:6610:64 ExecutionResult: Failed60[debug] /sqlite/src/expr.c:6601:9 ExecutionResult: Failed61
       [##################--------------] 33/5662[debug] /sqlite/src/expr.c:6596:18 ExecutionResult: Failed63[debug] /sqlite/src/expr.c:2272:5 ExecutionResult: Passed64
       [####################------------] 35/5665[debug] /sqlite/src/expr.c:6553:15 ExecutionResult: Passed66
       [####################------------] 36/5667[debug] /sqlite/src/expr.c:2032:12 ExecutionResult: Failed68
       [#####################-----------] 37/5669[debug] /sqlite/src/expr.c:1433:5 ExecutionResult: Passed70
       [#####################-----------] 38/5671[debug] /sqlite/src/expr.c:2076:33 ExecutionResult: Passed72
       [######################----------] 39/5673[debug] /sqlite/src/expr.c:6542:23 ExecutionResult: Failed74[debug] /sqlite/src/expr.c:6552:13 ExecutionResult: Failed75
       [#######################---------] 41/5676[debug] /sqlite/src/expr.c:1411:7 ExecutionResult: Passed77
       [########################--------] 42/5678[debug] /sqlite/src/expr.c:2275:14 ExecutionResult: Failed79
       [########################--------] 43/5680[debug] /sqlite/src/expr.c:2070:12 ExecutionResult: Failed81[debug] /sqlite/src/expr.c:6600:24 ExecutionResult: Passed82
       [#########################-------] 45/5683[debug] /sqlite/src/expr.c:6597:6 ExecutionResult: Failed84[debug] /sqlite/src/expr.c:6539:18 ExecutionResult: Failed85
       [##########################------] 47/5686[debug] /sqlite/src/expr.c:6602:9 ExecutionResult: Failed87
       [###########################-----] 48/5688[debug] /sqlite/src/expr.c:6556:15 ExecutionResult: Passed89[debug] /sqlite/src/expr.c:6610:17 ExecutionResult: Failed90
       [############################----] 50/5691[debug] /sqlite/src/expr.c:6605:15 ExecutionResult: Failed92
       [#############################---] 51/5693[debug] /sqlite/src/expr.c:2036:17 ExecutionResult: Passed94
       [#############################---] 52/5695[debug] /sqlite/src/expr.c:6545:17 ExecutionResult: Passed96
       [##############################--] 53/5697[debug] /sqlite/src/expr.c:2276:3 ExecutionResult: Passed98[debug] /sqlite/src/expr.c:2073:20 ExecutionResult: Passed99
       [###############################-] 55/56100[debug] /sqlite/src/expr.c:2275:11 ExecutionResult: Failed101
       [################################] 56/56. Finished in 677ms102[debug] Done running mutants103[info] Survived mutants (24/56):104/sqlite/src/expr.c:1406:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]105      sqlite3ExprDeleteNN(db, p->pRight);106      ^107/sqlite/src/expr.c:1409:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]108      sqlite3SelectDelete(db, p->x.pSelect);109      ^110/sqlite/src/expr.c:1411:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]111      sqlite3ExprListDelete(db, p->x.pList);112      ^113/sqlite/src/expr.c:1418:26: warning: Survived: Replaced != with == [cxx_ne_to_eq]114    if( p->pLeft && p->op!=TK_SELECT_COLUMN ){115                         ^116/sqlite/src/expr.c:1424:9: warning: Survived: Removed the call to the function [cxx_remove_void_call]117        sqlite3DbNNFreeNN(db, p);118        ^119/sqlite/src/expr.c:1433:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]120    sqlite3DbNNFreeNN(db, p);121    ^122/sqlite/src/expr.c:1437:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]123  if( p ) sqlite3ExprDeleteNN(db, p);124          ^125/sqlite/src/expr.c:2036:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]126  pList->nAlloc = 4;127                ^128/sqlite/src/expr.c:2073:20: warning: Survived: Replaced < with >= [cxx_lt_to_ge]129  if( pList->nAlloc<pList->nExpr+1 ){130                   ^131/sqlite/src/expr.c:2073:20: warning: Survived: Replaced < with <= [cxx_lt_to_le]132  if( pList->nAlloc<pList->nExpr+1 ){133                   ^134/sqlite/src/expr.c:2073:33: warning: Survived: Replaced + with - [cxx_add_to_sub]135  if( pList->nAlloc<pList->nExpr+1 ){136                                ^137/sqlite/src/expr.c:2076:33: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]138  pItem = &pList->a[pList->nExpr++];139                                ^140/sqlite/src/expr.c:2272:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]141    sqlite3ExprDelete(db, pItem->pExpr);142    ^143/sqlite/src/expr.c:2275:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]144  }while( --i>0 );145             ^146/sqlite/src/expr.c:2276:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]147  sqlite3DbNNFreeNN(db, pList);148  ^149/sqlite/src/expr.c:2279:15: warning: Survived: Removed the call to the function [cxx_remove_void_call]150  if( pList ) exprListDeleteNN(db, pList);151              ^152/sqlite/src/expr.c:6545:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]153  combinedFlags = pA->flags | pB->flags;154                ^155/sqlite/src/expr.c:6545:29: warning: Survived: Replaced | with & [cxx_or_to_and]156  combinedFlags = pA->flags | pB->flags;157                            ^158/sqlite/src/expr.c:6553:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]159    if( pA->op==TK_COLLATE && sqlite3ExprCompare(pParse, pA->pLeft,pB,iTab)<2 ){160              ^161/sqlite/src/expr.c:6556:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]162    if( pB->op==TK_COLLATE && sqlite3ExprCompare(pParse, pA,pB->pLeft,iTab)<2 ){163              ^164/sqlite/src/expr.c:6559:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]165    if( pA->op==TK_AGG_COLUMN && pB->op==TK_COLUMN166              ^167/sqlite/src/expr.c:6600:24: warning: Survived: Replaced & with | [cxx_and_to_or]168    if( (combinedFlags & EP_FixedCol)==0169                       ^170/sqlite/src/expr.c:6600:38: warning: Survived: Replaced == with != [cxx_eq_to_ne]171    if( (combinedFlags & EP_FixedCol)==0172                                     ^173/sqlite/src/expr.c:6609:18: warning: Survived: Replaced != with == [cxx_ne_to_eq]174      if( pA->op2!=pB->op2 && pA->op==TK_TRUTH ) return 2;175                 ^176[info] Mutation score: 57%177[info] Total execution time: 1017ms178[info] Surviving mutants: 24179