Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face

0likes

rootmull-reportsmull_mutex_sqlite3MutexEnd.out

mull_mutex_sqlite3MutexEnd.out21 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 105ms7[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 109ms13[info] Running mutants (threads: 2)14[debug] /sqlite/src/mutex.c:268:8 ExecutionResult: Failed15[debug] /sqlite/src/mutex.c:266:7 ExecutionResult: Failed16
       [################################] 2/2. Finished in 111ms17[debug] Done running mutants18[info] All mutations have been killed19[info] Mutation score: 100%20[info] Total execution time: 434ms21