CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_insert_checkConstraintExprNode.out29 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 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 107ms13[info] Running mutants (threads: 8)14[debug] /sqlite/src/insert.c:1690:16 ExecutionResult: Failed15
       [####----------------------------] 1/816[debug] /sqlite/src/insert.c:1693:43 ExecutionResult: Failed17[debug] /sqlite/src/insert.c:1693:43 ExecutionResult: Failed18[debug] /sqlite/src/insert.c:1692:23 ExecutionResult: Failed19[debug] /sqlite/src/insert.c:1692:23 ExecutionResult: Failed20
       [####################------------] 5/821[debug] /sqlite/src/insert.c:1694:24 ExecutionResult: Failed22[debug] /sqlite/src/insert.c:1697:22 ExecutionResult: Failed23[debug] /sqlite/src/insert.c:1704:12 ExecutionResult: Failed24
       [################################] 8/8. Finished in 140ms25[debug] Done running mutants26[info] All mutations have been killed27[info] Mutation score: 100%28[info] Total execution time: 463ms29