CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_vtab_sqlite3VtabUnlock.out39 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 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 8)14[debug] /sqlite/src/vtab.c:165:23 ExecutionResult: Failed15[debug] /sqlite/src/vtab.c:212:18 ExecutionResult: Failed16[debug] /sqlite/src/vtab.c:170:5 ExecutionResult: Passed17[debug] /sqlite/src/vtab.c:164:19 ExecutionResult: Failed18
       [################----------------] 4/819[debug] /sqlite/src/vtab.c:217:5 ExecutionResult: Failed20[debug] /sqlite/src/vtab.c:211:14 ExecutionResult: Failed21[debug] /sqlite/src/vtab.c:218:5 ExecutionResult: Passed22
       [############################----] 7/823[debug] /sqlite/src/vtab.c:1021:3 ExecutionResult: Passed24
       [################################] 8/8. Finished in 138ms25[debug] Done running mutants26[info] Survived mutants (3/8):27/sqlite/src/vtab.c:170:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]28    sqlite3DbFree(db, pMod);29    ^30/sqlite/src/vtab.c:218:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]31    sqlite3DbFree(db, pVTab);32    ^33/sqlite/src/vtab.c:1021:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]34  callFinaliser(db, offsetof(sqlite3_module,xRollback));35  ^36[info] Mutation score: 62%37[info] Total execution time: 456ms38[info] Surviving mutants: 339