CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_build_sqlite3CollapseDatabaseArray.out55 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 3ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 110ms13[info] Running mutants (threads: 15)14[debug] /sqlite/src/build.c:600:8 ExecutionResult: Failed15
       [##------------------------------] 1/1516[debug] /sqlite/src/build.c:600:10 ExecutionResult: Failed17
       [####----------------------------] 2/1518[debug] /sqlite/src/build.c:600:15 ExecutionResult: Passed19
       [######--------------------------] 3/1520[debug] /sqlite/src/build.c:607:10 ExecutionResult: Passed21[debug] /sqlite/src/build.c:603:7 ExecutionResult: Passed22[debug] /sqlite/src/build.c:612:11 ExecutionResult: Failed23
       [############--------------------] 6/1524[debug] /sqlite/src/build.c:610:6 ExecutionResult: Failed25[debug] /sqlite/src/build.c:613:14 ExecutionResult: Failed26[debug] /sqlite/src/build.c:615:5 ExecutionResult: Passed27
       [###################-------------] 9/1528[debug] /sqlite/src/build.c:602:17 ExecutionResult: Failed29[debug] /sqlite/src/build.c:607:10 ExecutionResult: Failed30[debug] /sqlite/src/build.c:613:14 ExecutionResult: Failed31
       [#########################-------] 12/1532[debug] /sqlite/src/build.c:600:15 ExecutionResult: Failed33
       [###########################-----] 13/1534[debug] /sqlite/src/build.c:600:26 ExecutionResult: Failed35
       [#############################---] 14/1536[debug] /sqlite/src/build.c:613:28 ExecutionResult: Failed37
       [################################] 15/15. Finished in 300ms38[debug] Done running mutants39[info] Survived mutants (4/15):40/sqlite/src/build.c:600:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]41  for(i=j=2; i<db->nDb; i++){42              ^43/sqlite/src/build.c:603:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]44      sqlite3DbFree(db, pDb->zDbSName);45      ^46/sqlite/src/build.c:607:10: warning: Survived: Replaced < with <= [cxx_lt_to_le]47    if( j<i ){48         ^49/sqlite/src/build.c:615:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]50    sqlite3DbFree(db, db->aDb);51    ^52[info] Mutation score: 73%53[info] Total execution time: 630ms54[info] Surviving mutants: 455