CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_wal_sqlite3WalReadFrame.out38 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 11ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 111ms13[info] Running mutants (threads: 11)14[debug] /sqlite/src/wal.c:3644:6 ExecutionResult: Failed15[debug] /sqlite/src/wal.c:3644:11 ExecutionResult: Failed16[debug] /sqlite/src/wal.c:3643:6 ExecutionResult: Failed17[debug] /sqlite/src/wal.c:3644:20 ExecutionResult: Failed18
       [###########---------------------] 4/1119[debug] /sqlite/src/wal.c:3644:26 ExecutionResult: Failed20[debug] /sqlite/src/wal.c:3649:49 ExecutionResult: Passed21[debug] /sqlite/src/wal.c:3644:34 ExecutionResult: Failed22[debug] /sqlite/src/wal.c:3649:10 ExecutionResult: Failed23
       [#######################---------] 8/1124[debug] /sqlite/src/wal.c:3647:11 ExecutionResult: Failed25
       [##########################------] 9/1126[debug] /sqlite/src/wal.c:3647:39 ExecutionResult: Failed27
       [#############################---] 10/1128[debug] /sqlite/src/wal.c:3649:49 ExecutionResult: Failed29
       [################################] 11/11. Finished in 259ms30[debug] Done running mutants31[info] Survived mutants (1/11):32/sqlite/src/wal.c:3649:49: warning: Survived: Replaced > with >= [cxx_gt_to_ge]33  return sqlite3OsRead(pWal->pWalFd, pOut, (nOut>sz ? sz : nOut), iOffset);34                                                ^35[info] Mutation score: 90%36[info] Total execution time: 596ms37[info] Surviving mutants: 138