Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_vtab_sqlite3VtabSavepoint.out
mull_vtab_sqlite3VtabSavepoint.out66 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 108ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/vtab.c:1021:3 ExecutionResult: Passed15
       [#-------------------------------] 1/2116[debug] /sqlite/src/vtab.c:1109:16 ExecutionResult: Failed17[debug] /sqlite/src/vtab.c:1109:10 ExecutionResult: Failed18
       [####----------------------------] 3/2119[debug] /sqlite/src/vtab.c:1112:41 ExecutionResult: Failed20
       [######--------------------------] 4/2121[debug] /sqlite/src/vtab.c:1131:21 ExecutionResult: Passed22[debug] /sqlite/src/vtab.c:1103:7 ExecutionResult: Failed23[debug] /sqlite/src/vtab.c:1112:41 ExecutionResult: Failed24[debug] /sqlite/src/vtab.c:1133:9 ExecutionResult: Failed25[debug] /sqlite/src/vtab.c:1114:9 ExecutionResult: Failed26[debug] /sqlite/src/vtab.c:1130:14 ExecutionResult: Failed27
       [###############-----------------] 10/2128[debug] /sqlite/src/vtab.c:1128:15 ExecutionResult: Passed29[debug] /sqlite/src/vtab.c:1127:41 ExecutionResult: Failed30[debug] /sqlite/src/vtab.c:1128:39 ExecutionResult: Passed31
       [###################-------------] 13/2132[debug] /sqlite/src/vtab.c:1129:21 ExecutionResult: Passed33[debug] /sqlite/src/vtab.c:1127:41 ExecutionResult: Failed34[debug] /sqlite/src/vtab.c:1109:32 ExecutionResult: Failed35
       [########################--------] 16/2136[debug] /sqlite/src/vtab.c:212:18 ExecutionResult: Failed37
       [#########################-------] 17/2138[debug] /sqlite/src/vtab.c:183:14 ExecutionResult: Failed39
       [###########################-----] 18/2140[debug] /sqlite/src/vtab.c:1109:32 ExecutionResult: Failed41
       [############################----] 19/2142[debug] /sqlite/src/vtab.c:1109:47 ExecutionResult: Failed43
       [##############################--] 20/2144[debug] /sqlite/src/vtab.c:211:14 ExecutionResult: Failed45
       [################################] 21/21. Finished in 380ms46[debug] Done running mutants47[info] Survived mutants (5/21):48/sqlite/src/vtab.c:1021:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]49  callFinaliser(db, offsetof(sqlite3_module,xRollback));50  ^51/sqlite/src/vtab.c:1128:15: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]52          u64 savedFlags = (db->flags & SQLITE_Defensive);53              ^54/sqlite/src/vtab.c:1128:39: warning: Survived: Replaced & with | [cxx_and_to_or]55          u64 savedFlags = (db->flags & SQLITE_Defensive);56                                      ^57/sqlite/src/vtab.c:1129:21: warning: Survived: Replaced &= with |= [cxx_and_assign_to_or_assign]58          db->flags &= ~(u64)SQLITE_Defensive;59                    ^60/sqlite/src/vtab.c:1131:21: warning: Survived: Replaced |= with &= [cxx_or_assign_to_and_assign]61          db->flags |= savedFlags;62                    ^63[info] Mutation score: 76%64[info] Total execution time: 701ms65[info] Surviving mutants: 566