CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_auth_sqlite3AuthCheck.out50 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 4ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 115ms13[info] Running mutants (threads: 14)14[debug] /sqlite/src/auth.c:78:3 ExecutionResult: Passed15
       [##------------------------------] 1/1416[debug] /sqlite/src/auth.c:227:8 ExecutionResult: Failed17[debug] /sqlite/src/auth.c:225:16 ExecutionResult: Failed18
       [######--------------------------] 3/1419[debug] /sqlite/src/auth.c:82:3 ExecutionResult: Passed20[debug] /sqlite/src/auth.c:81:19 ExecutionResult: Passed21[debug] /sqlite/src/auth.c:91:3 ExecutionResult: Failed22
       [#############-------------------] 6/1423[debug] /sqlite/src/auth.c:92:14 ExecutionResult: Failed24
       [################----------------] 7/1425[debug] /sqlite/src/auth.c:228:5 ExecutionResult: Failed26[debug] /sqlite/src/auth.c:222:6 ExecutionResult: Failed27[debug] /sqlite/src/auth.c:224:5 ExecutionResult: Failed28
       [######################----------] 10/1429[debug] /sqlite/src/auth.c:223:9 ExecutionResult: Failed30[debug] /sqlite/src/auth.c:226:15 ExecutionResult: Failed31
       [###########################-----] 12/1432[debug] /sqlite/src/auth.c:226:32 ExecutionResult: Failed33
       [#############################---] 13/1434[debug] /sqlite/src/auth.c:207:16 ExecutionResult: Failed35
       [################################] 14/14. Finished in 268ms36[debug] Done running mutants37[info] Survived mutants (3/14):38/sqlite/src/auth.c:78:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]39  sqlite3_mutex_enter(db->mutex);40  ^41/sqlite/src/auth.c:81:19: warning: Survived: Removed the call to the function [cxx_remove_void_call]42  if( db->xAuth ) sqlite3ExpirePreparedStatements(db, 1);43                  ^44/sqlite/src/auth.c:82:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]45  sqlite3_mutex_leave(db->mutex);46  ^47[info] Mutation score: 78%48[info] Total execution time: 595ms49[info] Surviving mutants: 350