CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_build_sqlite3HaltConstraint.out57 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: 13)14[debug] /sqlite/src/build.c:613:14 ExecutionResult: Passed15
       [##------------------------------] 1/1316[debug] /sqlite/src/build.c:600:10 ExecutionResult: Passed17[debug] /sqlite/src/build.c:600:8 ExecutionResult: Passed18
       [#######-------------------------] 3/1319[debug] /sqlite/src/build.c:612:11 ExecutionResult: Passed20
       [#########-----------------------] 4/1321[debug] /sqlite/src/build.c:5457:3 ExecutionResult: Failed22[debug] /sqlite/src/build.c:600:15 ExecutionResult: Passed23[debug] /sqlite/src/build.c:600:15 ExecutionResult: Failed24
       [#################---------------] 7/1325[debug] /sqlite/src/build.c:5434:23 ExecutionResult: Failed26[debug] /sqlite/src/build.c:5454:14 ExecutionResult: Failed27[debug] /sqlite/src/build.c:5458:3 ExecutionResult: Failed28
       [########################--------] 10/1329[debug] /sqlite/src/build.c:613:14 ExecutionResult: Passed30[debug] /sqlite/src/build.c:5455:5 ExecutionResult: Failed31
       [#############################---] 12/1332[debug] /sqlite/src/build.c:613:28 ExecutionResult: Failed33
       [################################] 13/13. Finished in 249ms34[debug] Done running mutants35[info] Survived mutants (6/13):36/sqlite/src/build.c:600:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]37  for(i=j=2; i<db->nDb; i++){38       ^39/sqlite/src/build.c:600:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]40  for(i=j=2; i<db->nDb; i++){41         ^42/sqlite/src/build.c:600:15: warning: Survived: Replaced < with <= [cxx_lt_to_le]43  for(i=j=2; i<db->nDb; i++){44              ^45/sqlite/src/build.c:612:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]46  db->nDb = j;47          ^48/sqlite/src/build.c:613:14: warning: Survived: Replaced <= with > [cxx_le_to_gt]49  if( db->nDb<=2 && db->aDb!=db->aDbStatic ){50             ^51/sqlite/src/build.c:613:14: warning: Survived: Replaced <= with < [cxx_le_to_lt]52  if( db->nDb<=2 && db->aDb!=db->aDbStatic ){53             ^54[info] Mutation score: 53%55[info] Total execution time: 581ms56[info] Surviving mutants: 657