Modelpublic
AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
rootmull-reportsmull_wal_walWriteToLog.out
mull_wal_walWriteToLog.out47 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 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 11ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 109ms13[info] Running mutants (threads: 17)14[debug] /sqlite/src/wal.c:3922:14 ExecutionResult: Failed15
       [#-------------------------------] 1/1716[debug] /sqlite/src/wal.c:3922:14 ExecutionResult: Passed17[debug] /sqlite/src/wal.c:3931:13 ExecutionResult: Failed18[debug] /sqlite/src/wal.c:3924:10 ExecutionResult: Failed19
       [#######-------------------------] 4/1720[debug] /sqlite/src/wal.c:3922:44 ExecutionResult: Failed21
       [#########-----------------------] 5/1722[debug] /sqlite/src/wal.c:3922:39 ExecutionResult: Failed23
       [###########---------------------] 6/1724[debug] /sqlite/src/wal.c:3923:9 ExecutionResult: Failed25
       [#############-------------------] 7/1726[debug] /sqlite/src/wal.c:3927:10 ExecutionResult: Failed27[debug] /sqlite/src/wal.c:3933:6 ExecutionResult: Failed28[debug] /sqlite/src/wal.c:3926:13 ExecutionResult: Failed29[debug] /sqlite/src/wal.c:3923:41 ExecutionResult: Failed30[debug] /sqlite/src/wal.c:3922:44 ExecutionResult: Failed31[debug] /sqlite/src/wal.c:3933:8 ExecutionResult: Failed32[debug] /sqlite/src/wal.c:3930:8 ExecutionResult: Failed33
       [##########################------] 14/1734[debug] /sqlite/src/wal.c:3938:12 ExecutionResult: Failed35
       [############################----] 15/1736[debug] /sqlite/src/wal.c:3924:8 ExecutionResult: Failed37[debug] /sqlite/src/wal.c:3930:10 ExecutionResult: Failed38
       [################################] 17/17. Finished in 220ms39[debug] Done running mutants40[info] Survived mutants (1/17):41/sqlite/src/wal.c:3922:14: warning: Survived: Replaced < with <= [cxx_lt_to_le]42  if( iOffset<p->iSyncPoint && iOffset+iAmt>=p->iSyncPoint ){43             ^44[info] Mutation score: 94%45[info] Total execution time: 565ms46[info] Surviving mutants: 147