Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face

0likes

rootmull-reportsmull_vdbeaux_sqlite3VdbeSetVarmask.out

mull_vdbeaux_sqlite3VdbeSetVarmask.out30 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 107ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 2ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 110ms13[info] Running mutants (threads: 6)14[debug] /sqlite/src/vdbeaux.c:5389:11 ExecutionResult: Passed15[debug] /sqlite/src/vdbeaux.c:5389:11 ExecutionResult: Failed16[debug] /sqlite/src/vdbeaux.c:5390:16 ExecutionResult: Failed17[debug] /sqlite/src/vdbeaux.c:5392:27 ExecutionResult: Failed18[debug] /sqlite/src/vdbeaux.c:5392:16 ExecutionResult: Failed19
       [##########################------] 5/620[debug] /sqlite/src/vdbeaux.c:5392:35 ExecutionResult: Failed21
       [################################] 6/6. Finished in 129ms22[debug] Done running mutants23[info] Survived mutants (1/6):24/sqlite/src/vdbeaux.c:5389:11: warning: Survived: Replaced >= with > [cxx_ge_to_gt]25  if( iVar>=32 ){26          ^27[info] Mutation score: 83%28[info] Total execution time: 448ms29[info] Surviving mutants: 130