CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_expr_exprIsConst.out294 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 105ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 4ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 108ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/expr.c:793:7 ExecutionResult: Passed15[debug] /sqlite/src/expr.c:815:19 ExecutionResult: Passed16[debug] /sqlite/src/expr.c:823:15 ExecutionResult: Passed17[debug] /sqlite/src/expr.c:859:32 ExecutionResult: Passed18[debug] /sqlite/src/expr.c:851:7 ExecutionResult: Passed19
       [#-------------------------------] 4/77
       [##------------------------------] 5/7720[debug] /sqlite/src/expr.c:875:3 ExecutionResult: Passed21
       [##------------------------------] 6/7722[debug] /sqlite/src/expr.c:1184:35 ExecutionResult: Passed23[debug] /sqlite/src/expr.c:944:14 ExecutionResult: Failed24
       [###-----------------------------] 8/7725[debug] /sqlite/src/expr.c:1195:16 ExecutionResult: Passed26[debug] /sqlite/src/expr.c:2296:8 ExecutionResult: Passed27[debug] /sqlite/src/expr.c:2497:7 ExecutionResult: Passed28[debug] /sqlite/src/expr.c:2293:8 ExecutionResult: Passed29
       [####----------------------------] 12/7730[debug] /sqlite/src/expr.c:2508:20 ExecutionResult: Failed31[debug] /sqlite/src/expr.c:2504:22 ExecutionResult: Passed32[debug] /sqlite/src/expr.c:2338:12 ExecutionResult: Passed33[debug] /sqlite/src/expr.c:1437:11 ExecutionResult: Passed34
       [######--------------------------] 16/7735[debug] /sqlite/src/expr.c:2620:11 ExecutionResult: Failed36[debug] /sqlite/src/expr.c:974:7 ExecutionResult: Passed37
       [#######-------------------------] 18/7738[debug] /sqlite/src/expr.c:794:7 ExecutionResult: Passed39[debug] /sqlite/src/expr.c:815:19 ExecutionResult: Passed40[debug] /sqlite/src/expr.c:858:5 ExecutionResult: Passed41
       [########------------------------] 21/7742[debug] /sqlite/src/expr.c:861:14 ExecutionResult: Passed43[debug] /sqlite/src/expr.c:2070:12 ExecutionResult: Failed44
       [#########-----------------------] 23/7745[debug] /sqlite/src/expr.c:823:15 ExecutionResult: Passed46
       [#########-----------------------] 24/7747[debug] /sqlite/src/expr.c:2275:14 ExecutionResult: Failed48
       [##########----------------------] 25/7749[debug] /sqlite/src/expr.c:945:16 ExecutionResult: Passed50[debug] /sqlite/src/expr.c:1411:7 ExecutionResult: Passed51[debug] /sqlite/src/expr.c:1186:20 ExecutionResult: Passed52[debug] /sqlite/src/expr.c:2498:5 ExecutionResult: Passed53[debug] /sqlite/src/expr.c:2323:7 ExecutionResult: Failed54
       [############--------------------] 30/7755[debug] /sqlite/src/expr.c:2293:13 ExecutionResult: Passed56[debug] /sqlite/src/expr.c:2547:21 ExecutionResult: Failed57[debug] /sqlite/src/expr.c:2505:24 ExecutionResult: Passed58
       [#############-------------------] 33/7759[debug] /sqlite/src/expr.c:2032:12 ExecutionResult: Failed60[debug] /sqlite/src/expr.c:2338:50 ExecutionResult: Failed61[debug] /sqlite/src/expr.c:2627:3 ExecutionResult: Failed62[debug] /sqlite/src/expr.c:974:9 ExecutionResult: Passed63
       [###############-----------------] 37/7764[debug] /sqlite/src/expr.c:938:7 ExecutionResult: Failed65
       [###############-----------------] 38/7766[debug] /sqlite/src/expr.c:795:14 ExecutionResult: Passed67
       [################----------------] 39/7768[debug] /sqlite/src/expr.c:816:17 ExecutionResult: Passed69[debug] /sqlite/src/expr.c:859:14 ExecutionResult: Passed70[debug] /sqlite/src/expr.c:861:24 ExecutionResult: Passed71
       [#################---------------] 42/7772[debug] /sqlite/src/expr.c:2272:5 ExecutionResult: Passed73
       [#################---------------] 43/7774[debug] /sqlite/src/expr.c:2276:3 ExecutionResult: Passed75
       [##################--------------] 44/7776[debug] /sqlite/src/expr.c:951:33 ExecutionResult: Failed77[debug] /sqlite/src/expr.c:1414:9 ExecutionResult: Passed78[debug] /sqlite/src/expr.c:1186:20 ExecutionResult: Passed79[debug] /sqlite/src/expr.c:2499:23 ExecutionResult: Failed80[debug] /sqlite/src/expr.c:2323:34 ExecutionResult: Failed81
       [####################------------] 49/7782[debug] /sqlite/src/expr.c:2548:20 ExecutionResult: Failed83[debug] /sqlite/src/expr.c:2505:69 ExecutionResult: Passed84[debug] /sqlite/src/expr.c:2036:17 ExecutionResult: Passed85[debug] /sqlite/src/expr.c:2340:15 ExecutionResult: Failed86
       [######################----------] 53/7787[debug] /sqlite/src/expr.c:2632:12 ExecutionResult: Failed88[debug] /sqlite/src/expr.c:1179:11 ExecutionResult: Failed89
       [######################----------] 55/7790[debug] /sqlite/src/expr.c:938:34 ExecutionResult: Passed91
       [#######################---------] 56/7792[debug] /sqlite/src/expr.c:823:27 ExecutionResult: Failed93
       [#######################---------] 57/7794[debug] /sqlite/src/expr.c:795:14 ExecutionResult: Passed95
       [########################--------] 58/7796[debug] /sqlite/src/expr.c:2279:15 ExecutionResult: Passed97
       [########################--------] 59/7798[debug] /sqlite/src/expr.c:823:10 ExecutionResult: Passed99[debug] /sqlite/src/expr.c:859:30 ExecutionResult: Passed100[debug] /sqlite/src/expr.c:874:3 ExecutionResult: Passed101
       [#########################-------] 62/77102[debug] /sqlite/src/expr.c:2293:13 ExecutionResult: Failed103
       [##########################------] 63/77104[debug] /sqlite/src/expr.c:2338:10 ExecutionResult: Passed105
       [##########################------] 64/77106[debug] /sqlite/src/expr.c:2493:31 ExecutionResult: Passed107[debug] /sqlite/src/expr.c:1184:17 ExecutionResult: Passed108[debug] /sqlite/src/expr.c:957:19 ExecutionResult: Passed109
       [###########################-----] 67/77110[debug] /sqlite/src/expr.c:1433:5 ExecutionResult: Passed111[debug] /sqlite/src/expr.c:2503:11 ExecutionResult: Passed112[debug] /sqlite/src/expr.c:1194:3 ExecutionResult: Passed113
       [#############################---] 70/77114[debug] /sqlite/src/expr.c:2275:11 ExecutionResult: Failed115
       [#############################---] 71/77116[debug] /sqlite/src/expr.c:2291:7 ExecutionResult: Passed117
       [#############################---] 72/77118[debug] /sqlite/src/expr.c:941:47 ExecutionResult: Passed119
       [##############################--] 73/77120[debug] /sqlite/src/expr.c:824:7 ExecutionResult: Passed121[debug] /sqlite/src/expr.c:2037:16 ExecutionResult: Failed122
       [###############################-] 75/77123[debug] /sqlite/src/expr.c:2293:29 ExecutionResult: Failed124
       [###############################-] 76/77125[debug] /sqlite/src/expr.c:2275:14 ExecutionResult: Passed126
       [################################] 77/77. Finished in 878ms127[debug] Done running mutants128[info] Survived mutants (54/77):129/sqlite/src/expr.c:793:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]130  int rc = SQLITE_OK;131      ^132/sqlite/src/expr.c:794:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]133  int mxHeight = pParse->db->aLimit[SQLITE_LIMIT_EXPR_DEPTH];134      ^135/sqlite/src/expr.c:795:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]136  if( nHeight>mxHeight ){137             ^138/sqlite/src/expr.c:795:14: warning: Survived: Replaced > with <= [cxx_gt_to_le]139  if( nHeight>mxHeight ){140             ^141/sqlite/src/expr.c:815:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]142    if( p->nHeight>*pnHeight ){143                  ^144/sqlite/src/expr.c:815:19: warning: Survived: Replaced > with <= [cxx_gt_to_le]145    if( p->nHeight>*pnHeight ){146                  ^147/sqlite/src/expr.c:816:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]148      *pnHeight = p->nHeight;149                ^150/sqlite/src/expr.c:823:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]151    for(i=0; i<p->nExpr; i++){152         ^153/sqlite/src/expr.c:823:15: warning: Survived: Replaced < with >= [cxx_lt_to_ge]154    for(i=0; i<p->nExpr; i++){155              ^156/sqlite/src/expr.c:823:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]157    for(i=0; i<p->nExpr; i++){158              ^159/sqlite/src/expr.c:824:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]160      heightOfExpr(p->a[i].pExpr, pnHeight);161      ^162/sqlite/src/expr.c:851:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]163  int nHeight = p->pLeft ? p->pLeft->nHeight : 0;164      ^165/sqlite/src/expr.c:858:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]166    heightOfExprList(p->x.pList, &nHeight);167    ^168/sqlite/src/expr.c:859:14: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]169    p->flags |= EP_Propagate & sqlite3ExprListFlags(p->x.pList);170             ^171/sqlite/src/expr.c:859:30: warning: Survived: Replaced & with | [cxx_and_to_or]172    p->flags |= EP_Propagate & sqlite3ExprListFlags(p->x.pList);173                             ^174/sqlite/src/expr.c:859:32: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]175    p->flags |= EP_Propagate & sqlite3ExprListFlags(p->x.pList);176                               ^177/sqlite/src/expr.c:861:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]178  p->nHeight = nHeight + 1;179             ^180/sqlite/src/expr.c:861:24: warning: Survived: Replaced + with - [cxx_add_to_sub]181  p->nHeight = nHeight + 1;182                       ^183/sqlite/src/expr.c:874:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]184  exprSetHeight(p);185  ^186/sqlite/src/expr.c:875:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]187  sqlite3ExprCheckHeight(pParse, p->nHeight);188  ^189/sqlite/src/expr.c:938:34: warning: Survived: Replaced + with - [cxx_add_to_sub]190  int nExtra = pToken ? pToken->n+1 : 0;191                                 ^192/sqlite/src/expr.c:941:47: warning: Survived: Replaced + with - [cxx_add_to_sub]193  pNew = sqlite3DbMallocRawNN(db, sizeof(Expr)+nExtra);194                                              ^195/sqlite/src/expr.c:945:16: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]196    pNew->iAgg = -1;197               ^198/sqlite/src/expr.c:957:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]199    pNew->nHeight = 1;200                  ^201/sqlite/src/expr.c:974:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]202  x.n = sqlite3Strlen30(zToken);203      ^204/sqlite/src/expr.c:974:9: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]205  x.n = sqlite3Strlen30(zToken);206        ^207/sqlite/src/expr.c:1184:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]208  pNew->w.iOfst = (int)(pToken->z - pParse->zTail);209                ^210/sqlite/src/expr.c:1184:35: warning: Survived: Replaced - with + [cxx_sub_to_add]211  pNew->w.iOfst = (int)(pToken->z - pParse->zTail);212                                  ^213/sqlite/src/expr.c:1186:20: warning: Survived: Replaced > with >= [cxx_gt_to_ge]214   && pList->nExpr > pParse->db->aLimit[SQLITE_LIMIT_FUNCTION_ARG]215                   ^216/sqlite/src/expr.c:1186:20: warning: Survived: Replaced > with <= [cxx_gt_to_le]217   && pList->nExpr > pParse->db->aLimit[SQLITE_LIMIT_FUNCTION_ARG]218                   ^219/sqlite/src/expr.c:1194:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]220  sqlite3ExprSetHeightAndFlags(pParse, pNew);221  ^222/sqlite/src/expr.c:1195:16: warning: Survived: Replaced == with != [cxx_eq_to_ne]223  if( eDistinct==SF_Distinct ) ExprSetProperty(pNew, EP_Distinct);224               ^225/sqlite/src/expr.c:1411:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]226      sqlite3ExprListDelete(db, p->x.pList);227      ^228/sqlite/src/expr.c:1414:9: warning: Survived: Removed the call to the function [cxx_remove_void_call]229        sqlite3WindowDelete(db, p->y.pWin);230        ^231/sqlite/src/expr.c:1433:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]232    sqlite3DbNNFreeNN(db, p);233    ^234/sqlite/src/expr.c:1437:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]235  if( p ) sqlite3ExprDeleteNN(db, p);236          ^237/sqlite/src/expr.c:2036:17: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]238  pList->nAlloc = 4;239                ^240/sqlite/src/expr.c:2272:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]241    sqlite3ExprDelete(db, pItem->pExpr);242    ^243/sqlite/src/expr.c:2275:14: warning: Survived: Replaced > with >= [cxx_gt_to_ge]244  }while( --i>0 );245             ^246/sqlite/src/expr.c:2276:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]247  sqlite3DbNNFreeNN(db, pList);248  ^249/sqlite/src/expr.c:2279:15: warning: Survived: Removed the call to the function [cxx_remove_void_call]250  if( pList ) exprListDeleteNN(db, pList);251              ^252/sqlite/src/expr.c:2291:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]253  u32 m = 0;254      ^255/sqlite/src/expr.c:2293:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]256  for(i=0; i<pList->nExpr; i++){257       ^258/sqlite/src/expr.c:2293:13: warning: Survived: Replaced < with >= [cxx_lt_to_ge]259  for(i=0; i<pList->nExpr; i++){260            ^261/sqlite/src/expr.c:2296:8: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]262     m |= pExpr->flags;263       ^264/sqlite/src/expr.c:2338:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]265   && (v = sqlite3IsTrueOrFalse(pExpr->u.zToken))!=0266         ^267/sqlite/src/expr.c:2338:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]268   && (v = sqlite3IsTrueOrFalse(pExpr->u.zToken))!=0269           ^270/sqlite/src/expr.c:2493:31: warning: Survived: Replaced == with != [cxx_eq_to_ne]271   || (pList = pExpr->x.pList)==0272                              ^273/sqlite/src/expr.c:2497:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]274    n = pList->nExpr;275      ^276/sqlite/src/expr.c:2498:5: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]277    sqlite3WalkExprList(pWalker, pList);278    ^279/sqlite/src/expr.c:2503:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]280  if( pDef==0281          ^282/sqlite/src/expr.c:2504:22: warning: Survived: Replaced != with == [cxx_ne_to_eq]283   || pDef->xFinalize!=0284                     ^285/sqlite/src/expr.c:2505:24: warning: Survived: Replaced & with | [cxx_and_to_or]286   || (pDef->funcFlags & (SQLITE_FUNC_CONSTANT|SQLITE_FUNC_SLOCHNG))==0287                       ^288/sqlite/src/expr.c:2505:69: warning: Survived: Replaced == with != [cxx_eq_to_ne]289   || (pDef->funcFlags & (SQLITE_FUNC_CONSTANT|SQLITE_FUNC_SLOCHNG))==0290                                                                    ^291[info] Mutation score: 29%292[info] Total execution time: 1203ms293[info] Surviving mutants: 54294