sqlite / mull-reports /mull_build_sqlite3AddNotNull.out
AryaWu's picture
Upload folder using huggingface_hub
7510827 verified
[info] Using config /sqlite/mull.yml
[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.
[warning] Could not find dynamic library: libm.so.6
[warning] Could not find dynamic library: libc.so.6
[info] Warm up run (threads: 1)
[################################] 1/1. Finished in 108ms
[info] Extracting coverage information (threads: 1)
[################################] 1/1. Finished in 3ms
[info] Filter mutants (threads: 1)
[################################] 1/1. Finished in 4ms
[info] Baseline run (threads: 1)
[################################] 1/1. Finished in 115ms
[info] Running mutants (threads: 8)
[debug] /sqlite/src/build.c:1608:26 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1618:28 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1610:15 ExecutionResult: Failed
[############--------------------] 3/8
[debug] /sqlite/src/build.c:1609:17 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1619:27 ExecutionResult: Passed
[####################------------] 5/8
[debug] /sqlite/src/build.c:1614:22 ExecutionResult: Failed
[debug] /sqlite/src/build.c:1618:37 ExecutionResult: Failed
[############################----] 7/8
[debug] /sqlite/src/build.c:1607:8 ExecutionResult: Failed
[################################] 8/8. Finished in 211ms
[debug] Done running mutants
[info] Survived mutants (1/8):
/sqlite/src/build.c:1619:27: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]
pIdx->uniqNotNull = 1;
^
[info] Mutation score: 87%
[info] Total execution time: 559ms
[info] Surviving mutants: 1