Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_vtab_callFinaliser.out
mull_vtab_callFinaliser.out45 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 109ms7[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: 12)14[debug] /sqlite/src/vtab.c:983:25 ExecutionResult: Failed15
       [##------------------------------] 1/1216[debug] /sqlite/src/vtab.c:987:17 ExecutionResult: Failed17[debug] /sqlite/src/vtab.c:986:5 ExecutionResult: Passed18[debug] /sqlite/src/vtab.c:984:7 ExecutionResult: Failed19
       [##########----------------------] 4/1220[debug] /sqlite/src/vtab.c:211:14 ExecutionResult: Failed21[debug] /sqlite/src/vtab.c:975:10 ExecutionResult: Failed22
       [################----------------] 6/1223[debug] /sqlite/src/vtab.c:1026:3 ExecutionResult: Passed24[debug] /sqlite/src/vtab.c:975:15 ExecutionResult: Failed25
       [#####################-----------] 8/1226[debug] /sqlite/src/vtab.c:212:18 ExecutionResult: Failed27
       [########################--------] 9/1228[debug] /sqlite/src/vtab.c:975:15 ExecutionResult: Failed29
       [##########################------] 10/1230[debug] /sqlite/src/vtab.c:975:30 ExecutionResult: Failed31
       [#############################---] 11/1232[debug] /sqlite/src/vtab.c:992:5 ExecutionResult: Failed33
       [################################] 12/12. Finished in 230ms34[debug] Done running mutants35[info] Survived mutants (2/12):36/sqlite/src/vtab.c:986:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]37    sqlite3DbFree(db, aVTrans);38    ^39/sqlite/src/vtab.c:1026:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]40  callFinaliser(db, offsetof(sqlite3_module,xRollback));41  ^42[info] Mutation score: 83%43[info] Total execution time: 550ms44[info] Surviving mutants: 245