CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_threads_sqlite3ThreadCreate.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 106ms7[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 111ms13[info] Running mutants (threads: 10)14[debug] /sqlite/src/threads.c:66:8 ExecutionResult: Failed15[debug] /sqlite/src/threads.c:74:7 ExecutionResult: Passed16[debug] /sqlite/src/threads.c:75:8 ExecutionResult: Passed17[debug] /sqlite/src/threads.c:77:10 ExecutionResult: Passed18[debug] /sqlite/src/threads.c:77:8 ExecutionResult: Passed19
       [################----------------] 5/1020[debug] /sqlite/src/threads.c:80:13 ExecutionResult: Passed21[debug] /sqlite/src/threads.c:97:8 ExecutionResult: Failed22[debug] /sqlite/src/threads.c:99:3 ExecutionResult: Passed23[debug] /sqlite/src/threads.c:97:10 ExecutionResult: Failed24
       [############################----] 9/1025[debug] /sqlite/src/threads.c:95:8 ExecutionResult: Failed26
       [################################] 10/10. Finished in 139ms27[debug] Done running mutants28[info] Survived mutants (6/10):29/sqlite/src/threads.c:74:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]30  if( sqlite3FaultSim(200) ){31      ^32/sqlite/src/threads.c:75:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]33    rc = 1;34       ^35/sqlite/src/threads.c:77:8: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]36    rc = pthread_create(&p->tid, 0, xTask, pIn);37       ^38/sqlite/src/threads.c:77:10: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]39    rc = pthread_create(&p->tid, 0, xTask, pIn);40         ^41/sqlite/src/threads.c:80:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]42    p->done = 1;43            ^44/sqlite/src/threads.c:99:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]45  sqlite3_free(p);46  ^47[info] Mutation score: 40%48[info] Total execution time: 457ms49[info] Surviving mutants: 650