CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_mutex_sqlite3MutexInit.out42 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 111ms13[info] Running mutants (threads: 6)14[debug] /sqlite/src/mutex.c:247:5 ExecutionResult: Passed15[debug] /sqlite/src/mutex.c:220:7 ExecutionResult: Passed16[debug] /sqlite/src/mutex.c:257:3 ExecutionResult: Passed17
       [################----------------] 3/618[debug] /sqlite/src/mutex.c:251:6 ExecutionResult: Failed19[debug] /sqlite/src/mutex.c:266:7 ExecutionResult: Passed20[debug] /sqlite/src/mutex.c:268:8 ExecutionResult: Passed21
       [################################] 6/6. Finished in 126ms22[debug] Done running mutants23[info] Survived mutants (5/6):24/sqlite/src/mutex.c:220:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]25  int rc = SQLITE_OK;26      ^27/sqlite/src/mutex.c:247:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]28    sqlite3MemoryBarrier();29    ^30/sqlite/src/mutex.c:257:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]31  sqlite3MemoryBarrier();32  ^33/sqlite/src/mutex.c:266:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]34  int rc = SQLITE_OK;35      ^36/sqlite/src/mutex.c:268:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]37    rc = sqlite3GlobalConfig.mutex.xMutexEnd();38       ^39[info] Mutation score: 16%40[info] Total execution time: 447ms41[info] Surviving mutants: 542